Industrial Used of Formal Method – Formal Verification | Myboeken