Gerard O'Regan Mathematical Approaches to Software Quality - New York Springer US 2006 ISBN: 978-1-84628-435-9 Subjects--Topical Terms: Computer Science