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

Corporate Authors: FMCAD 2002 (2002 Portland, Or.)
Group Author: Aagaard Mark, 1966-; O'Leary John W.
Published: Springer,
Publication Dates: c2002.
Call Number: TP391.72-532/F723/2002