Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA
Author(s)
Bibliographic Information
Proceedings of formal methods in computer aided design, 12-16 November, 2006, San Jose, California, USA
IEEE Computer Society, c2006
- Other Title
-
Formal methods in computer aided design (FMCAD 06), San Jose, California USA, 12-16 November 2006
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
"IEEE Computer Society Order Number P2707" -- T.p. verso
"Aarti Gupta, Panagiotis Manolios, chairs" -- p. viii
Includes bibliographical references and author index