Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /
|Published:||Berlin ; New York : Springer, c2005.|
|Series:||Lecture notes in computer science,
|Online Access:||Available to SAIC students, faculty and staff |
No Tags, Be the first to tag this record!