Fm 2015: formal methods: 20th international symposium, oslo, norway, june 24-26, 2015, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319192482
Date de publication :
2 juin 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.