PR98

Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393, D. Bert (ed.), Pages 46-65, 1998.

Contact

Marie-Laure Potet

Référence BibTex

@InProceedings{PR98,
   Author = {Potet, Marie-Laure and Rouzaud, Yann},
   Title = {Composition and Refinement in the {B}-Method},
   BookTitle = {Proc. of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method, LNCS 1393},
   editor = {Bert, D.},
   Pages = {46--65},
   Publisher = {Springer},
   Year = {1998}
}

Référence EndNote [help]

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