Lopes de Souza, W., & Stiubiener, S. (2015). Especificação, Verificação e Testes de Protocolos<br />DOI: 10.14209/jcis.1988.1. Journal of Communication and Information Systems, 3(1). Retrieved from https://jcis.sbrt.org.br/jcis/article/view/127