Introducing specification using Z : a practical case study approach
Bryan Ratcliff · McGraw-Hill eBooks · 1994
Software engineering - why formal methods? aspects of specification the digital watch predicate logic the van hire system (part 1) the van hire system (part 2) supporting system description the online monitor after specification - what else?