Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
Autor corporatiu: | |
---|---|
Altres autors: | , |
Resource Type: | Llibre |
Idioma: | English |
Publicat: |
Berlin
Springer-Verlag
c1993.
|
Col·lecció: | Lecture notes in computer science
663 |
Matèries: |