Skip to Main content Skip to Navigation
Conference papers

Traduction de B vers des langages de programmation

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00392235
Contributor : Nicolas Stouls <>
Submitted on : Friday, June 5, 2009 - 7:07:28 PM
Last modification on : Wednesday, June 30, 2021 - 10:14:02 AM

Identifiers

  • HAL Id : inria-00392235, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

165