Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
Korporacja: | |
---|---|
Kolejni autorzy: | , |
Resource Type: | Książka |
Język: | English |
Wydane: |
Berlin
Springer-Verlag
c1993.
|
Seria: | Lecture notes in computer science
663 |
Hasła przedmiotowe: |