Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications

Lionel C. Briand, Sandro Morasca. Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. In ICFEM. pages 315, 1997.

Abstract

Abstract is missing.