BPR96

Didier Bert, Marie-Laure Potet, Yann Rouzaud. A Study on Components and Assembly Primitives in B. In Proc. of the 1st Conference on the B Method: Putting into Practice Methods and Tools for Information System Design, Nantes, Henri Habrias (ed.), Pages 47-62, 1996.

Contact

Didier Bert
Marie-Laure Potet

BibTex Reference

@InProceedings{BPR96,
   Author = {Bert, Didier and Potet, Marie-Laure and Rouzaud, Yann},
   Title = {A Study on Components and Assembly Primitives in B},
   BookTitle = {Proc. of the 1st Conference on the B Method: Putting into Practice Methods and Tools for Information System Design, Nantes},
   editor = {Habrias, Henri},
   Pages = {47--62},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)