Integrated formal methods: 13th international conference, ifm 2017, turin, italy, september 20-22, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319668444
Date de publication :
27 août 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.