FMCAD 2013

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

MEMOCODE, the ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)

DIFTS, International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2013)