Integrated formal methods: 17th international conference, ifm 2022, lugano, switzerland, june 7–10, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031077265
Date de publication :
1 juin 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions.