Daniel Welch, Charles T. Cook, Yu-Shan Sun, Murali Sitaraman. A web-integrated verifying compiler for RESOLVE: a research perspective. In Dharanipragada Janakiram, Koushik Sen, Vinay Kulkarni, editors, 7th India Software Engineering Conference, Chennai, ISEC '14, Chennai, India - February 19 - 21, 2014. pages 12, ACM, 2014. [doi]
@inproceedings{WelchCSS14,
title = {A web-integrated verifying compiler for RESOLVE: a research perspective},
author = {Daniel Welch and Charles T. Cook and Yu-Shan Sun and Murali Sitaraman},
year = {2014},
doi = {10.1145/2590748.2590760},
url = {http://doi.acm.org/10.1145/2590748.2590760},
researchr = {https://researchr.org/publication/WelchCSS14},
cites = {0},
citedby = {0},
pages = {12},
booktitle = {7th India Software Engineering Conference, Chennai, ISEC '14, Chennai, India - February 19 - 21, 2014},
editor = {Dharanipragada Janakiram and Koushik Sen and Vinay Kulkarni},
publisher = {ACM},
isbn = {978-1-4503-2776-3},
}