Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 · ENGLISH · PDF View details →
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in Computer Science, 4178) 2006 · ENGLISH · PDF View details →
