Eintrag weiter verarbeiten
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I/ edited by Hana Chockler, Georg Weissenbacher |
Format: | E-Book |
Sprache: | Englisch |
veröffentlicht: |
Cham
Springer International Publishing
2018
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 10981 |
Schlagwörter: | |
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
Zugangsinformationen: | Elektronischer Volltext - Open Access, Zugang über SpringerLink |