Formal Methods Meet Domain Specific Languages

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

https://hal.archives-ouvertes.fr/hal-00457182
Contributor : Ls2n Hal <>
Submitted on : Tuesday, February 16, 2010 - 5:17:10 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM

Identifiers

  • HAL Id : hal-00457182, version 1

Citation

Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages. The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206. ⟨hal-00457182⟩

Share

Metrics

Record views

530