Computer-aided verification : proceedings /

Bibliographic Details
Corporate Authors:	CAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science), CAV (Conference)
Other Authors:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Kurshan, R. P., 1943-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 531.
Subjects:	Digital integrated circuits > Design and construction > Data processing > congresses. Computer-aided design > Congresses.

Remote Storage