Return to Article Details Especificação, Verificação e Testes de Protocolos<br />DOI: 10.14209/jcis.1988.1 Download Download PDF