Infoscience
13th International Conference on Formal Methods in Computer-Aided Design (FMCAD)
OCT 20-23, 2013
Portland, OR