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]
Abstract is missing.