Formal Methods Meet Domain Specific Languages.

Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller

Browse the full IFM paper archive.