Search Results
Showing results for "2 Fmt 1 Book"
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science Book 13962)
Catherine Dubois
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science Book 14939)
Emil Sekerinski
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science Book 14939)
Emil Sekerinski
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Lecture Notes in Computer Science Book 13122)
João F. Ferreira
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science Book 13962)
Catherine Dubois
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings (Lecture Notes in Computer Science Book 13122)
João F. Ferreira