LOPES DE SOUZA, Wanderley; STIUBIENER, Stefania. Especificação, Verificação e Testes de Protocolos<br />DOI: 10.14209/jcis.1988.1. Journal of Communication and Information Systems, [S. l.], v. 3, n. 1, 2015. Disponível em: https://jcis.sbrt.org.br/jcis/article/view/127. Acesso em: 3 jul. 2024.