Formal Methods in Computer-Aided Design (FMCAD)
12. FMCAD 2012: Cambridge, UK
Gianpiero Cabodi, Satnam Singh (Eds.): Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. IEEE 2012 [ contents ]
11. FMCAD 2011: Austin, TX, USA
- Per Bjesse, Anna Slobodová (Eds.): International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. FMCAD Inc. 2011 ISBN 978-0-9835678-1-3 [ contents ]
10. FMCAD 2010: Lugano, Switzerland
- Roderick Bloem, Natasha Sharygina (Eds.): Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. IEEE 2010 [ contents ]
9. FMCAD 2009: Austin, Texas, USA
- Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. IEEE 2009 ISBN 978-1-4244-4966-8 [ contents ]
8. FMCAD 2008: Portland, Oregon, USA
- Alessandro Cimatti, Robert B. Jones (Eds.): Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008. IEEE 2008 ISBN 978-1-4244-2735-2 [ contents ]
7. FMCAD 2007: Austin, Texas, USA
- Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings. IEEE Computer Society 2007 [ contents ]
6. FMCAD 2006: San Jose, California, USA
- Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. IEEE Computer Society 2006 ISBN 0-7695-2707-8 [ contents ]
5. FMCAD 2004: Austin, Texas, USA
- Alan J. Hu, Andrew K. Martin (Eds.): Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3312 ISBN 3-540-23738-0 [ contents ]
4. FMCAD 2002: Portland, Oregon, USA
- Mark Aagaard, John W. O'Leary (Eds.): Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2517 ISBN 3-540-00116-6 [ contents ]
3. FMCAD 2000: Austin, Texas, USA
- Warren A. Hunt Jr., Steven D. Johnson (Eds.): Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1954 ISBN 3-540-41219-0 [ contents ]
2. FMCAD 1998: Palo Alto, California, USA
- Ganesh Gopalakrishnan, Phillip J. Windley (Eds.): Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1522 ISBN 3-540-65191-8 [ contents ]
1. FMCAD 1996: Palo Alto, California, USA
- Mandayam K. Srivas, Albert John Camilleri (Eds.): Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1166 ISBN 3-540-61937-2 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team