Proof In Vdm A Practitioners Guide Formal Approaches To Computing | Desertcart Romania