Mathematical Approaches to Software Quality - O'Regan, Gerard; SpringerLink (Online service) (London : Springer London, 2006)
Keywords: Computer science; Software engineering; Computational complexity; Computer Science; Software Engineering; Mathematics of Computing; Discrete Mathematics in Computer Science