Déharbe, David Boris PaulOliveira, Diego Caminha Barbosa de2014-12-172008-12-052014-12-172007-11-07OLIVEIRA, Diego Caminha Barbosa de. Deciding difference logic in a Nelson-Oppen combination framework. 2007. 71 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2007.https://repositorio.ufrn.br/jspui/handle/123456789/17987application/pdfAcesso AbertoDecision procedureDifference logicFormal methodsSMT - SolversNelson oppenDeciding difference logic in a Nelson-Oppen combination frameworkmasterThesisCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO