Ducasse00a

M. Ducassé, L. Rozé. Proof obligations of the B formal method: Local proofs ensure global consistency. In Logic-Based Program Synthesis and Transformation, LNCS 1817, Pages 10-29, Septembre 2000.

Contact

Laurence Rozé

Référence BibTex

@InProceedings{Ducasse00a,
   Author = {Ducassé, M. and Rozé, L.},
   Title = {Proof obligations of the {B} formal method: Local proofs ensure global consistency},
   BookTitle = {Logic-Based Program Synthesis and Transformation, LNCS 1817},
   Pages = {10--29},
   Publisher = {Springer},
   Month = {September},
   Year = {2000}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)