Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.

Johannes Eriksson, Ralph-Johan Back

Browse the full ICFEM paper archive.