Flexible Formality Practical Experience with Agile Formal Methods

Bibliographische Detailangaben

Veröffentlicht in:	TFP (21. : 2020 : Krakau) Trends in functional programming
1. Verfasser:	Kant, Philipp (VerfasserIn)
Weitere Verfasser:	Hammond, Kevin (VerfasserIn), Coutts, Duncan (VerfasserIn), Chapman, James (VerfasserIn), Clarke, Nicholas (VerfasserIn), Corduan, Jared (VerfasserIn), Davies, Neil (VerfasserIn), Diaz, Javier (VerfasserIn), Giidemann, Matthias (VerfasserIn), Jeltsch, Wolfgang (VerfasserIn), Szamotulski, Marcin (VerfasserIn), Vinogradova, Polina (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!