A Pyramid Of (Formal) Software Verification.

Martin Brain, Elizabeth Polgreen

Browse the full FM paper archive.