Formal specification using Z - Lightfoot, David 1951- (Basingstoke ; New York Palgrave, 2001)
Keywords: Computer software -- Development; Formal methods (Computer science); Z (Computer program language)