Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Detalhes bibliográficos
Autor Corporativo: CAV (Conference) (4th : 1992 : Montreal, Canada)
Outros Autores: Bochmann, G. V., Probst, D. K.
Formato: Livro
Idioma:English
Publicado em: Berlin Springer-Verlag c1993.
Colecção:Lecture notes in computer science 663
Assuntos: