Languages
International Workshop on Formal Methods Fun for Everybody (2019 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods - fun for everybody = first International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /
by:
International Workshop on Formal Methods Fun for Everybody (2019 :); Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service)
(Electronic resources)