By the same authors

Verifying Graph Programs with First-Order Logic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

  • fol

    306 KB, PDF document

Published copy (DOI)



Publication details

Title of host publicationGraph Computation Models (GCM 2020), Revised Selected Papers
DateAccepted/In press - 5 Oct 2020
DatePublished (current) - 3 Dec 2020
Number of pages20
Original languageEnglish

Publication series

NameElectronic Proceedings in Theoretical Computer Science

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations