Tomaz Kosar, Associate Professor at the University of Maribor, Slovenia, visits the LMV team for two weeks.
Languages, Models and Verification
Tomaz Kosar, Associate Professor at the University of Maribor, Slovenia, visits the LMV team for two weeks.