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

Search this Book/Journal

Note

"IEEE Computer Society Order Number P2707" -- T.p. verso

"Aarti Gupta, Panagiotis Manolios, chairs" -- p. viii

Includes bibliographical references and author index

Details

Page Top