Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

Bibliographische Detailangaben

Veröffentlicht in:	FMFun (1. : 2019 : Bergen) Formal methods - fun for everybody
1. Verfasser:	Cerone, Antonio (VerfasserIn)
Weitere Verfasser:	Roggenbach, Markus (VerfasserIn), Davenport, James (VerfasserIn), Denner, Casey (VerfasserIn), Farrell, Marie (VerfasserIn), Haveraaen, Magne (VerfasserIn), Moller, Faron (VerfasserIn), Körner, Philipp (VerfasserIn), Krings, Sebastian (VerfasserIn), Ölveczky, Peter Csaba (VerfasserIn), Schlingloff, Bernd-Holger (VerfasserIn), Shilov, Nikolay (VerfasserIn), Zhumagambetov, Rustam (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!