Strongest postcondition of unstructured programs.

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry

Browse the full ECOOP paper archive.