Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. IEEE, 2017. [doi]
Conference: FMCAD2017
@proceedings{fmcad-2017,
title = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017},
year = {2017},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8093672},
researchr = {https://researchr.org/publication/fmcad-2017},
cites = {0},
citedby = {0},
booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017},
conference = {FMCAD},
editor = {Daryl Stewart and Georg Weissenbacher},
publisher = {IEEE},
isbn = {978-0-9835678-7-5},
}