%0 Journal Article
%T Trustworthy Assembly of Components using the B Refinement
%A Lanoix Arnaud
%A Souqui?re Jeanine
%J e-Informatica Software Engineering Journal
%D 2008
%I Wroclaw University of Technology
%U http://www.e-informatyka.pl/e-Informatica/attach/Volume2Issue1/Vol2Iss1Art1eInformatica.pdf