CIC-03:vasco-28

Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin. Adaptable Translator of B Specifications to Embedded C Programs. In FME 2003: Formal Methods, Pages 94-113, Pise, September 2003.

Contact

Didier Bert
Sylvain Boulmé
Marie-Laure Potet

BibTex Reference

@InProceedings{CIC-03:vasco-28,
   Author = {Bert, Didier and Boulmé, Sylvain and Potet, Marie-Laure and Requet, Antoine and Voisin, Laurent},
   Title = {{Adaptable Translator of B Specifications to Embedded C Programs}},
   BookTitle = {{FME 2003: Formal Methods}},
   Pages = {94--113},
   Publisher = {LNCS 2805, Springer-Verlag},
   Address = {Pise},
   Month = {September},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)