Dsolve: Safety Verification via Liquid Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala. Dsolve: Safety Verification via Liquid Types. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 123-126, Springer, 2010. [doi]

This author has not been identified. Look up 'Ming Kawaguchi' in GoogleThis author has not been identified. Look up 'Patrick Maxim Rondon' in GoogleThis author has not been identified. Look up 'Ranjit Jhala' in Google

runs on WebDSL