Return to Article Details Proposta de uma abordagem para a verificação formal de Sistemas Distribuídos Baseados em Objetos Download Download PDF