Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

Bibliographic Details
Corporate Author:	CAV '91 Ålborg, Denmark
Other Authors:	Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1992]
Series:	Lecture notes in computer science ; 575.
Subjects:	Computer software > Verification > Congresses. Electronic digital computers > Evaluation > Congresses.

Remote Storage