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 |
الموضوعات: |