Tavares, Cláudia Fernanda Oliveira Kiermes TAVARES, Cláudia Fernanda Oliveira Kiermes. Prova automática de satisfatibilidade módulo teoria aplicada ao método B. 2007. 136 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2007..
,
2014