Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /

Bibliographic Details
Corporate Author:	FMCAD '98 Palo Alto, Calif.
Other Authors:	Gopalakrishnan, Ganesh, Windley, Phillip
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science. 1522.
Subjects:	Digital integrated circuits > Design and construction > Congresses. Automatic theorem proving > Congresses. Integrated circuits > Verification > Congresses.

Remote Storage