CIC:PR98

Marie-Laure Potet, Yann Rouzaud. Composition and Refinement in the B-Method. In Proc. of 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

BibTex Reference

@InProceedings{CIC:PR98,
   Author = {Potet, Marie-Laure and Rouzaud, Yann},
   Title = {{Composition and Refinement in the {B}-Method}},
   BookTitle = {{Proc. of 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-Verlag},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)