The Value of Verification: Positive Experience of Industrial Proof.

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor

Browse the full FM paper archive.