Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/date/BergmanBKKMNOPR15
AU - Bergman, Stephen
AU - Bobok, Gabor
AU - Kowalski, Walter
AU - Koyfman, Shlomit
AU - Moran, Shiri
AU - Nevo, Ziv
AU - Orni, Avigail
AU - Paruthi, Viresh
AU - Roesner, Wolfgang
AU - Shurek, Gil
AU - Vuyyuru, Vasantha
TI - Designer-level verification: an industrial experience story.
BT - Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015
SP - 410
EP - 411
PY - 2015//
UR - http://dl.acm.org/citation.cfm?id=2755846
UR - https://ieeexplore.ieee.org/document/7092424/
ER -
