Dantas, B., 		Déharbe, D., 		Galvão, S., 		Moreira, A., & 		Medeiros Júnior, V.
2008 Jul 12.  Proposal and Evaluation of a Trustworthy Software Development Approach by Construction Using the B Method. Proceedings of the Integrated Software and Hardware Seminar (SEMISH). [Online] :