[IEEE Comput. Sco First IEEE International Conference on Formal Engineering Methods - Hiroshima, Japan (12-14 Nov. 1997)] Proceedings First IEEE International Conference on Formal Engineering Methods - Software measurement and formal methods: a case study centered on TRIO+ specifications
Briand, L.C., Morasca, S.Year:
1997
Language:
english
DOI:
10.1109/ICFEM.1997.630438
File:
PDF, 1009 KB
english, 1997