MONTEIRO, J. A. B.; http://lattes.cnpq.br/7892247821251194; MONTEIRO, João Arthur Brunet. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-07-26)
Assuring that a program conforms to its specification is a key concern in software quality
assurance. Although there is substantial tool support to check whether an implementation
complies to its functional requirements, ...