Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Gespeichert in:
Hauptverfasser:
Dragoi, Cezara (HerausgeberIn), Emmi, Michael (HerausgeberIn), Wang, Jingbo (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature Switzerland Imprint: Springer 2023
Ausgabe:
1st ed. 2023
Umfang:
1 Online-Ressource (X, 389 p. 508 illus., 80 illus. in color)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783031249501
ISSN:
1611-3349
DOI:
10.1007/978-3-031-24950-1
Schlagworte:
Computer science
Computer science—Mathematics
Logic programming
Computers, Special purpose
Software engineering
Microprogramming 
Bezugswerke:
Links: