Loading [MathJax]/extensions/MathZoom.js
Disciplined methods of software specification: a case study | IEEE Conference Publication | IEEE Xplore