DANTAS, B.; 						DÉHARBE, D.; 						GALVÃO, S.; 						MOREIRA, A. Martins; 						MEDEIROS JÚNIOR, V..
 Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. <em>In</em>: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE (SEMISH), 35.	, 2008, Belém/PA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 195-209. 
			ISSN 2595-6205.