@inproceedings{JR13,
title = {Preface },
author = {Jobstmann, Barbara and Ray, Sandip},
year = {2013},
booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013},
publisher = {IEEE},
team = {DCS},
}
