Verifying graph programs with monadic second-order logic (@ICGT2021)
Channel: GReTA Seminar
Date: 2021-09-29

Authors: Gia Wulandari and Detlef Plump

Presented at the 14th International Conference on Graph Transformation (ICGT 2021), held as a virtual event as part of STAF 2021 (Software Technologies: Applications and Foundations). The conference took place under the auspices of EATCS and IFIP WG 1.3. Proceedings are published by Springer in the Lecture Notes in Computer Science (LNCS) series: 10.1007/978-3-030-78946-6