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

Authors	L. Briand and S. Morasca
Title	Software Measurement and Formal Methods: a Case Study Centered on TRIO+ Specifications
Status	Published
Publication Type	Proceedings, refereed
Year of Publication	1997
Conference Name	IEEE International Conference on Formal Engineering Methods (ICFEM)
Publisher	Publisher
ISBN Number	0000000000
Citation Key	Simula.SE.91

Search form