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.
@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}
}
Charger la référence EndNote (.ref)