By the same authors

Verifying Graph Programs with Monadic Second-Order Logic

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

Author(s)

Department/unit(s)

Publication details

Title of host publicationProceedings 14th International Conference on Graph Transformation (ICGT 2021)
DateAccepted/In press - 19 Apr 2021
DatePublished (current) - 18 Jun 2021
Pages240-261
Number of pages22
PublisherSpringer
EditorsFabio Gadducci, Timo Kehrer
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
Volume12741

Bibliographical note

© Springer Nature Switzerland AG 2021. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Discover related content

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

View graph of relations