Van der Poll, J.A.; Labuschagne, W.A.
(1999-07)
A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...