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

Bibliographische Detailangaben

Körperschaft:	FMFun (VerfasserIn)
Weitere Verfasser:	Cerone, Antonio (HerausgeberIn), Roggenbach, Markus (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Communications in computer and information science 1301
Schlagworte:	Konferenzschrift > Formale Methode
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!