Strongest postcondition of unstructured programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry. Strongest postcondition of unstructured programs. In Anindya Banerjee, editor, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009. ACM, 2009. [doi]

This author has not been identified. Look up 'Radu Grigore' in GoogleThis author has not been identified. Look up 'Julien Charles' in GoogleThis author has not been identified. Look up 'Fintan Fairmichael' in GoogleThis author has not been identified. Look up 'Joseph Kiniry' in Google

runs on WebDSL