ACT-03:vasco-55

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. Traduction de B vers des langages de programmation : points de vue du projet BOM. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 87-102, IRISA, Rennes, January 2003.

Contact

Didier Bert
Sylvain Boulmé
Marie-Laure Potet

BibTex Reference

@InProceedings{ACT-03:vasco-55,
   Author = {Badeau, Frédéric and Bert, Didier and Boulmé, Sylvain and Potet, Marie-Laure and Stouls, Nicolas and Voisin, Laurent},
   Title = {{Traduction de B vers des langages de programmation : points de vue du projet BOM}},
   BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003}},
   editor = {Jézéquel, J.-M.},
   Pages = {87--102},
   Address = {IRISA, Rennes},
   Month = {January},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)