Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers

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:
Bibliographic Details
Corporate Author: International Workshop on Formal Methods Fun for Everybody Bergen, Norway
Other Authors: Cerone, Antonio (Editor), Roggenbach, Markus (Editor)
Format: eBook
Language:English
Published: Cham : Springer, [2021]
Series:Communications in computer and information science ; 1301.
Subjects:
Formal methods (Computer science) > Congresses.
Formal methods (Computer science) > Study and teaching > Congresses.
Formal methods (Computer science)
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access

Similar Items

Similar Items