Mathematical Approaches to Software Quality - O'Regan, Gerard; SpringerLink (Online service) (London : Springer London, 2006)
Keywords: Computer software -- Quality control; Computer science -- Mathematics