2025W

• Seminar in Computer Science (Formal Methods in Systems Engineering) / 192.185 / SE
• Seminar in Logic (Formal Methods in Systems Engineering) / 192.184 / SE

• Tree-Verifiable Graph Grammars / Chimes, M. J., Iosif, R., & Zuleger, F. (2024). Tree-Verifiable Graph Grammars. In Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 165–180). https://doi.org/10.29007/8l13