Skip to Main content Skip to Navigation
Conference papers

Applying the B formal method to the Bossa domain-specific language

Résumé : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00457183
Contributor : Ls2n Hal <>
Submitted on : Tuesday, February 16, 2010 - 5:17:16 PM
Last modification on : Thursday, March 18, 2021 - 2:34:40 PM

Identifiers

  • HAL Id : hal-00457183, version 1

Citation

Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Applying the B formal method to the Bossa domain-specific language. The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38. ⟨hal-00457183⟩

Share

Metrics

Record views

240