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, Janvier 2003.
Didier Bert
Sylvain Boulmé
Marie-Laure Potet
@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}
}
Charger la référence EndNote (.ref)