Items where authors include "Wulandari, Gia"

Proceedings Paper

Wulandari, Gia and Plump, Detlef orcid.org/0000-0002-1148-822X (2021) Verifying Graph Programs with Monadic Second-Order Logic. In: Gadducci, Fabio and Kehrer, Timo, (eds.) Proceedings 14th International Conference on Graph Transformation (ICGT 2021). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 240-261.

Wulandari, Gia and Plump, Detlef orcid.org/0000-0002-1148-822X (2020) Verifying Graph Programs with First-Order Logic. In: Graph Computation Models (GCM 2020), Revised Selected Papers. UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 181-200.

Plump, Detlef orcid.org/0000-0002-1148-822X and Wulandari, Gia (2018) Verifying a Copying Garbage Collector in GP 2. In: Mazzara, Manuel, Salaün, Gwen and Ober, Iulian, (eds.) Software Technologies:Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. 9th International Workshop on Graph Computation Models (GCM 2018), 27 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 479-494.