Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings /

Bibliographic Details
Corporate Author:	CAV (Conference) Vancouver, B.C.)
Other Authors:	Hu, Alan J., Vardi, Moshe Y.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; London : Springer, [1998]
Series:	Lecture notes in computer science. 1427.
Subjects:	Computer software > Verification > Congresses. Integrated circuits > Verification > Congresses.

Remote Storage