Lopes de Souza, Wanderley, and Stefania Stiubiener. “Especificação, Verificação E Testes De Protocolos<br >DOI: 10.14209 Jcis.1988.1”. Journal of Communication and Information Systems 3, no. 1 (June 14, 2015). Accessed July 3, 2024. https://jcis.sbrt.org.br/jcis/article/view/127.