Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science; Theoretical Computer Science and General IssuesVerlag: [Erscheinungsort nicht ermittelbar] : Springer Nature, 2020Beschreibung: 1 Online-Ressource (683 p.)ISBN:- 9783030532918
Dieser Titel hat keine Exemplare
Open Access. Unrestricted online access star
Creative Commons by/4.0 cc
English