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