FMCAD 2013
Formal Methods in Computer-Aided Design
Portland, OR, USA
October 20-23, 2013

FMCAD 2013 Proceedings

The full proceedings of FMCAD 2013 can be found here.