author : Andy Pryor

Short works

• The Value of Verification: Positive Experience of Industrial Proof. 1999. (In FM'99 volume 2 )