Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages. In Judi Romijn, Graeme Smith, Jaco van de Pol, editors, Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings. Volume 3771 of Lecture Notes in Computer Science, pages 187-206, Springer, 2005. [doi]
@inproceedings{BodeveixFLM05,
title = {Formal Methods Meet Domain Specific Languages},
author = {Jean-Paul Bodeveix and Mamoun Filali and Julia L. Lawall and Gilles Muller},
year = {2005},
doi = {10.1007/11589976_12},
url = {http://dx.doi.org/10.1007/11589976_12},
tags = {domain-specific language},
researchr = {https://researchr.org/publication/BodeveixFLM05},
cites = {0},
citedby = {0},
pages = {187-206},
booktitle = {Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
editor = {Judi Romijn and Graeme Smith and Jaco van de Pol},
volume = {3771},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30492-4},
}