Computer aided verification Part 2

Bibliographische Detailangaben

Körperschaft:	International Conference on Computer-Aided Verification (VerfasserIn)
Weitere Verfasser:	Gurfinkel, Arie (HerausgeberIn), Ganesh, Vijay (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14682
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!