Refinable Record Structures in Formal Methods

Bibliographische Detailangaben

Veröffentlicht in:	MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era
1. Verfasser:	Fathabadi, Asieh Salehi (VerfasserIn)
Weitere Verfasser:	Snook, Colin (VerfasserIn), Hoang, Thai Son (VerfasserIn), Dghaym, Dana (VerfasserIn), Butler, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!