2Department of Computer Science (The University of North Carolina Department of Computer Science Campus Box 3175, Sitterson Hall Chapel Hill, NC 27599-3175 - United States)
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
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⟩