Treffer: Computer Aided Verification
Titel:
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : Springer Nature, 2021
Vertrieb:
The Hague : OAPEN FOUNDATION
Umfang:
1 Online-Ressource (940 p.)
Format:
Sprache:
Englisch
ISBN:
9783030816889 ; 9783030816889
Open Access Rechte:
Open Access