Formal Methods in Computer−Aided Design‚ 4th International Conference‚ FMCAD 2002‚ Portland‚ OR‚ USA‚ November 6−8‚ 2002‚ Proceedings
Details
| 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 |
Links
Related pages
|
People |