Skip to content
LMV Team
Languages, Models and Verification
Menu
Presentation
Members
Defended Theses
Projects
Publications
Software
Seminar
Jobs
Month: October 2021
[Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st