Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / Antonio Cerone, Markus Roggenbach (eds.).
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...
Full description
Saved in: