Mauco, M. V. and Leonardi, M. C. (2012) “A Derivation Strategy for Formal Specifications from Natural Language Requirements Models”, Computing and Informatics, 26(4), pp. 421–445. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/318 (Accessed: 8 November 2024).