Integrated formal methods: 16th international conference, ifm 2020, lugano, switzerland, november 16–20, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030634605
Date de publication :
14 nov. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.