Formal methods – fun for everybody: first international workshop, fmfun 2019, bergen, norway, december 2–3, 2019, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030713737
Date de publication :
11 mars 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions.