Original language | English |
---|---|
Title of host publication | Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings |
Editors | Maurice H. ter Beek, Rosemary Monahan |
Place of Publication | Cham |
Publisher | Springer |
Pages | 45-62 |
Number of pages | 18 |
Volume | 13274 |
ISBN (Electronic) | 978-3-031-07727-2 |
ISBN (Print) | 978-3-031-07726-5 |
DOIs | |
Publication status | Published - 1 Jun 2022 |
Event | 17th International Conference on integrated Formal Methods - Lugano, Switzerland Duration: 7 Jun 2022 → 10 Jun 2022 https://ifm22.si.usi.ch/ |
Publication series
Series | Lecture Notes in Computer Science |
---|
Conference
Conference | 17th International Conference on integrated Formal Methods |
---|---|
Abbreviated title | iFM 2022 |
Country/Territory | Switzerland |
City | Lugano |
Period | 7/06/22 → 10/06/22 |
Internet address |
Prizes
-
Best paper award iFM 2022
de Gouw, Stijn (Recipient), 2022
Prize: Prize (including medals and awards) › Academic
Student theses
-
Formal analysis of the Java Collections Framework
Author: de Boer, M., 23 Jul 2021Supervisor: de Gouw, S. (Examiner) & Vos, T. (Co-assessor)
Student thesis: Master's Thesis
File