Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.
Korporativní autor: | |
---|---|
Další autoři: | |
Médium: | Kniha |
Jazyk: | English |
Vydáno: |
Berlin
Springer-Verlag
c1993.
|
Edice: | Lecture notes in computer science
697 |
Témata: |