Treffer: Computer Aided Verification

Titel:

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Beteiligt:

Veröffentlicht:

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2021

Vertrieb:

The Hague : OAPEN FOUNDATION

Umfang:

1 Online-Ressource (922 p.)

Format:

E-Book

Sprache:

Englisch

ISBN:

9783030816858 ; 9783030816858

Open Access Rechte:

Open Access

Zusatz-Informationen