- Catherine Dubois, Pierluigi San Pietro, editors, Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings. Volume 13962 of Lecture Notes in Computer Science, Springer Nature Switzerland, 2023.
- Catherine Dubois, Pierluigi San Pietro, editors, Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings. Volume 13962 of Lecture Notes in Computer Science, Springer, 2023.