OLIVEIRA, E. A. da S.; http://lattes.cnpq.br/7627571580413875; OLIVEIRA, Elthon Allex da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-06-02)
Formal methods have been used so much nowadays in development projects in where there is a requirement for the software behavior being as it is expected to be. However, there are few projects that are disposed to invest ...