Model Checking Python Programs with MSVL

Bibliographische Detailangaben

Veröffentlicht in:	SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method
1. Verfasser:	Shu, Xinfeng (VerfasserIn)
Weitere Verfasser:	Gao, Fengyun (VerfasserIn), Gao, Weiran (VerfasserIn), Zhang, Lili (VerfasserIn), Wang, Xiaobing (VerfasserIn), Zhao, Liang (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!