Formal methods: foundations and applications: 20th brazilian symposium, sbmf 2017, recife, brazil, november 29 — december 1, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319708478
Date de publication :
12 nov. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.