Automated technology for verification and analysis Part 1

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ATVA (VerfasserIn)
Weitere Verfasser:	André, Étienne (HerausgeberIn), Sun, Jun (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2023
Schriftenreihe:	Lecture notes in computer science 14215
Schlagworte:	Konferenzschrift > Künstliche Intelligenz > Software Engineering > Hardware > Computerarchitektur
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
Automated technology for verification and analysis Part 1	2023	14215
Automated technology for verification and analysis Part 2	2023	14216