Computer aided verification : proceedings of the 7th international conference, CAV'95, held in Liège, Belgium, July 1995 / editor Pierre Wolper.
- Berlin [etc.] : Springer-Verlag , cop. 1995 .
- X, 450 p. : il. ; 24 cm.
- (Lecture Notes in Computer Science)
; 939
ISBN 3-540-60045-0
Software
Computadores electrónicos digitais
LCC QA75.5
ISBN 3-540-60045-0
Software
Computadores electrónicos digitais
LCC QA75.5
