A web-integrated verifying compiler for RESOLVE: a research perspective - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Daniel Welch' in GoogleThis author has not been identified. Look up 'Charles T. Cook' in GoogleThis author has not been identified. Look up 'Yu-Shan Sun' in GoogleThis author has not been identified. Look up 'Murali Sitaraman' in Google

runs on WebDSL