In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016), October 3-6, Mountain View, USA, 2016.
Fabian Hillock; Danilo Schmidt; Oliver Staeck; horsten Schaaf; Thomas Tolxdorff; Alexander Löser; Feiyu Xu; Hans Uszkoreit; Philipp Legge; Kai Sachs; Sonja Oechsler; Klemens Budde