Validated Designs for Object-oriented Systems - Fitzgerald, John.; Larsen, Peter Gorm.; Mukherjee, Paul.; Plat, Nico.; Verhoef, Marcel; SpringerLink (Online service) (London : Springer London, 2005)
Keywords: Computer science; Software engineering; Computational complexity; Computer Science; Software Engineering/Programming and Operating Systems; Software Engineering; Discrete Mathematics in Computer Science