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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | FMFun 2019. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2021]
|
| Series: | Communications in computer and information science ;
1301. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67
|
|---|---|
| QA76.9.F67 | Available |