Treffer: Computer Aided Verification
Titel:
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : Springer Nature ; Springer [Imprint], 2020
Vertrieb:
The Hague : Oapen Foundation
Umfang:
1 Online-Ressource (669 p.)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12224