Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings /

Bibliographic Details
Corporate Author:	FMCAD 2002 Portland, Or.
Other Authors:	Aagaard, Mark, 1966-, O'Leary, John W.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science. 2517.
Subjects:	Digital integrated circuits > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses. Formal methods (Computer science) > Congresses. Digital integrated circuits > Design and construction > Mathematics > Congresses.

Remote Storage