Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Beteiligt:

Veröffentlicht:

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2020

Vertrieb:

The Hague : OAPEN FOUNDATION

Umfang:

1 Online-Ressource (683 p.)

Format:

E-Book

Sprache:

Englisch

ISBN:

9783030532918

Open Access Rechte:

Open Access

Zusatz-Informationen