The Value of Verification: Positive Experience of Industrial Proof

Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor

Research output: Contribution to conference › Paper › peer-review

Original languageUndefined/Unknown
Pages1527-1545
Publication statusPublished - 1999

Access to Document

Cite this