Skip to main content

Formal Methods in Computer−Aided Design‚ 4th International Conference‚ FMCAD 2002‚ Portland‚ OR‚ USA‚ November 6−8‚ 2002‚ Proceedings

Book Title
Formal Methods in Computer−Aided Design‚ 4th International Conference‚ FMCAD 2002‚ Portland‚ OR‚ USA‚ November 6−8‚ 2002‚ Proceedings
Editor
Mark Aagaard and John W. O'Leary
ISBN
3−540−00116−6
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2517
Year
2002