Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Beteiligt:

Veröffentlicht:

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2019

Vertrieb:

The Hague : OAPEN FOUNDATION

Umfang:

1 Online-Ressource (673 p.)

Format:

E-Book

Sprache:

Englisch

ISBN:

9783030255404

Open Access Rechte:

Open Access

Zusatz-Informationen