@inproceedings{59f38f58df2d49bd947240999f3ebd59,
title = "Verifying Graph Programs with Monadic Second-Order Logic",
author = "Gia Wulandari and Detlef Plump",
note = "{\textcopyright} Springer Nature Switzerland AG 2021. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details ",
year = "2021",
month = jun,
day = "18",
doi = "10.1007/978-3-030-78946-6_13",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "240--261",
editor = "Fabio Gadducci and Timo Kehrer",
booktitle = "Proceedings 14th International Conference on Graph Transformation (ICGT 2021)",
address = "Germany",
}