Integrated formal methods: 14th international conference, ifm 2018, maynooth, ireland, september 5-7, 2018, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319989372
Date de publication :
9 août 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.