Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

Main Author: Aagaard, Mark D
Other Authors: O’Leary, John W
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2002
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540361268
978-3-540-00116-4