Integrated formal methods: 15th international conference, ifm 2019, bergen, norway, december 2–6, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030349677
Date de publication :
15 nov. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.