Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings /

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), CAV, CAV (Conference)
Other Authors:	Wolper, Pierre
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] : Springer, 1995.
Series:	Lecture notes in computer science ; 939.
Subjects:	Verifikation Kongress Lüttich <1995> Electronic books.
Online Access:	Connect to the full text of this electronic book