Conference Papers
Year : 2003
Nicolas Stouls : Connect in order to contact the contributor
https://inria.hal.science/inria-00392235
Submitted on : Friday, June 5, 2009-7:07:28 PM
Last modification on : Thursday, April 4, 2024-9:04:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00392235 , version 1
Cite
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Claude Métayer, Marie-Laure Potet, et al.. Traduction de B vers des langages de programmation. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), IRISA, Jan 2003, Rennes, France. pp.87--102. ⟨inria-00392235⟩
106
View
0
Download