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