Treffer: Computer Aided Verification
Titel:
Verantwortlich:
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : Springer Nature, 2020
Vertrieb:
The Hague : OAPEN Foundation
Umfang:
1 Online-Ressource (669 pages)
Publikationstyp:
Sprache:
Englisch
ISBN:
9783030532888 (Sekundärausgabe)