AHMED, Hussin; HUSSAIN, Azham; BAHAROM, Fauziah. Formal Specification Languages: Features, Challenges and Future Directions. International Journal of Engineering & Technology, [S. l.], v. 7, n. 4.19, p. 164–167, 2018. DOI: 10.14419/ijet.v7i4.19.22040. Disponível em: https://www.sciencepubco.com/index.php/ijet/article/view/22040.. Acesso em: 2 may. 2024.