Theorem Prover Support for Precondition and Correctness Calculation.

Orieta Celiku, Joakim von Wright

Browse the full ICFEM paper archive.