Skip to content
LMV Team
Languages, Models and Verification
Menu
Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs
Month: October 2024
[October 2024] Tomaž Kosar from the University of Maribor, Slovenia, visits the LMV team