English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Formal Methods - Fun for Everybody. First International Workshop, FMFun 2019
Information
Publications
Export
Statistics
Options
Title
Formal Methods - Fun for Everybody. First International Workshop, FMFun 2019
Titel Supplements
Bergen, Norway, December 2-3, 2019; Revised Selected Papers
Hrsg
Cerone, Antonio
Verlag
Springer Nature
Verlagsort
Cham
Datum
2021
Serie
Communications in computer and information science; 1301
Konferenz
International Workshop "Formal Methods - Fun for Everybody" (FMFun) 2019