Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings /

Bibliographic Details
Corporate Author:	FMCAD 2000 Austin, Tex.
Other Authors:	Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2000]
Series:	Lecture notes in computer science. 1954.
Subjects:	Computer engineering > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses.

Remote Storage