Software Measurement and Formal Methods: a Case Study Centered on TRIO+ Specifications
- Authors
- L. Briand and S. Morasca
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1997
- Journal
- IEEE International Conference on Formal Engineering Methods (ICFEM)
- Publisher
- Publisher
- Citation key
- 9546