Snugglebug: a powerful approach to weakest preconditions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Satish Chandra, Stephen J. Fink, Manu Sridharan. Snugglebug: a powerful approach to weakest preconditions. In Michael Hind, Amer Diwan, editors, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pages 363-374, ACM, 2009. [doi]

This author has not been identified. Look up 'Satish Chandra' in GoogleThis author has not been identified. Look up 'Stephen J. Fink' in GoogleThis author has not been identified. Look up 'Manu Sridharan' in Google

runs on WebDSL