Validated Designs for Object-oriented Systems - Fitzgerald, John.; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2005)
Keywords: Object-oriented methods (Computer science); Formal methods (Computer science); System design; Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Discrete Mathematics in Computer Science