Details
- Title: 2008 Formal Methods in Computer-Aided Design (FMCAD 2008)
- Date/Location: Held 17-20 November 2008, Portland, Oregon.
- Editor: Cimatti, A
- IEEE #: CFP08FMC-POD
- ISBN: 9781424427352
- Pages: 230 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jan 2009 )
Description
Members/Attendees
Tab 4
- Title: 2008 Formal Methods in Computer-Aided Design (FMCAD 2008)
- Date/Location: Held 17-20 November 2008, Portland, Oregon.
- Editor: Cimatti, A
- IEEE #: CFP08FMC-POD
- ISBN: 9781424427352
- Pages: 230 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Jan 2009 )