Verification, model checking, and abstract interpretation: 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023 : proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: VMCAI Boston (VerfasserIn)
Weitere Verfasser: Dragoi, Cezara (HerausgeberIn), Emmi, Michael (HerausgeberIn), Wang, Jingbo (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Cham Springer [2023]
Schriftenreihe:Lecture notes in computer science 13881 : Advanced research in computing and software science
Schlagworte:
Beschreibung:x, 388 Seiten Illustrationen, Diagramme
ISBN:9783031249495

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!