DANTAS, B.; 						DÉHARBE, D.; 						GALVÃO, S.; 						MOREIRA, A. Martins; 						MEDEIROS JÚNIOR, V..
 Proposal and Evaluation of a Trustworthy Software Development Approach by Construction Using the B Method. <em>In</em>: INTEGRATED SOFTWARE AND HARDWARE SEMINAR (SEMISH), 35.	, 2008, Belém/PA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 195-209. 
			ISSN 2595-6205.