Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin.
Material type:
- 9783540304944
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
ICCBS Digital Library | Not for loan |