Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings
Author(s)
Bibliographic Information
Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings
IEEE Computer Society, c2007
- Other Title
-
Seventh international conference on formal methods in computer-aided design (FMCAD 2007), Austin, Texas, USA, 11-14 November 2007
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
"IEEE Computer Society Order Number P3023."--T. p. verso
"Jason Baumgartner, Mary Sheeran, chairs"--p. ix
Includes bibliographical references and author index