Monografie
Computer aided verification : 18th international conference ; proceedings
- Language
-
Englisch
- Extent
-
XV, 564 S.
- ISBN
-
978-3-540-37406-0
- Identifier
-
980560640
- Series
-
Lecture notes in computer science; Vol. 4144
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:25 PM CEST
Object type
- Monografie
Associated
- Ball, Thomas