Treffer: Computer Aided Verification
Titel:
Verantwortlich:
Veröffentlicht:
Cham : Springer Nature, 2022
Vertrieb:
The Hague : OAPEN FOUNDATION
Umfang:
1 Online-Ressource (555 p.)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture Notes in Computer Science
ISBN:
9783031131851
Open Access Rechte:
Open Access