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

Corporate Authors: FMCAD 2000 (2000 Austin, Tex.) (Austin, Tex.))
Group Author: Hunt Warren A., 1958-; Johnson Steven D.; (Steven Dexter)
Published: Springer,
Publication Dates: c2000.
Call Number: TP391.72-532/F723/2000