Hoare-Style Logic for Unstructured Programs

Bibliographische Detailangaben

Veröffentlicht in:	SEFM (18. : 2020 : Online) Software engineering and formal methods
1. Verfasser:	Lundberg, Didrik (VerfasserIn)
Weitere Verfasser:	Guanciale, Roberto (VerfasserIn), Lindner, Andreas (VerfasserIn), Dam, Mads (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!