Van der Poll, JA; Labuschagne, WA
(South African Computer Society (SAICSIT), 1999)
A formal specification language like Z permits the specifier to construct proofs which corroborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...