Objective Software Quality: Objective Quality: Second Symposium On Software Quality Techniques And Acquisition Criteria Florence, Italy, May 29- 31, 1995. ... (Lecture Notes in Computer Science)