Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
団体著者: | |
---|---|
その他の著者: | , |
Resource Type: | 図書 |
言語: | English |
出版事項: |
Berlin
Springer-Verlag
c1993.
|
シリーズ: | Lecture notes in computer science
663 |
主題: |