Lopes de Souza W, Stiubiener S. Especificação, Verificação e Testes de Protocolos<br />DOI: 10.14209/jcis.1988.1. Journal of Communication and Information Systems [Internet]. 2015 Jun. 14 [cited 2024 Jul. 3];3(1). Available from: https://jcis.sbrt.org.br/jcis/article/view/127