%0 Conference Proceedings
%F Ducasse00a
%A Ducassé, M.
%A Rozé, L.
%T Proof obligations of the {B} formal method: Local proofs ensure global consistency
%B Logic-Based Program Synthesis and Transformation, LNCS 1817
%P 10-29
%I Springer
%8 September
%D 2000