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

Lionel C. Briand, Sandro Morasca

Browse the full ICFEM paper archive.