Details
- Title: 2009 Formal Methods in Computer-Aided Design (FMCAD 2009)
- Date/Location: Held 15-18 November 2009, Austin Texas, USA.
- Editor: Biere, A.
- IEEE #: CFP09FMC-POD
- ISBN: 9781424449651
- Pages: 212 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Feb 2010 )
Description
Members/Attendees
Tab 4
- Title: 2009 Formal Methods in Computer-Aided Design (FMCAD 2009)
- Date/Location: Held 15-18 November 2009, Austin Texas, USA.
- Editor: Biere, A.
- IEEE #: CFP09FMC-POD
- ISBN: 9781424449651
- Pages: 212 (1 Vol)
- Format: Softcover
- TOC Link: View Table of Contents
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- POD Publisher: Curran Associates, Inc. ( Feb 2010 )