Objective software quality objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995 : proceedings - Nesi, Paolo (Lecture notes in computer science, 1995)