OS-01:vasco-06

Marie-Laure Potet. Composition des machines et des raffinements. In Spécification formelle avec B, Henri Habrias (ed.), pp. 301-332, Hermes-Lavoisier, Science Publications, 2001.

Contact

Marie-Laure Potet

BibTex Reference

@InCollection{OS-01:vasco-06,
   Author = {Potet, Marie-Laure},
   Title = {{Composition des machines et des raffinements}},
   BookTitle = {{Spécification formelle avec B}},
   editor = {Habrias, Henri},
   Pages = {301--332},
   Publisher = {Hermes-Lavoisier, Science Publications},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)