Show last authors
1 Laboratoire : IRISA
2
3 Campus de Beaulieu, 263 avenue du Général Leclerc, 35 042 RENNES cedex, France.
4
5 Responsable d'équipe : Olivier Barais.
6
7 Responsable dans le cadre du GT Debugging : Benoit Combemale.
8
9 Responsable dans le cadre du GT MTV2 : Olivier Barais.
10
11 We develop techniques, frameworks, and environments to facilitate the creation, integration, and automated processing of (domain-specific) software languages ; with a particular focus on program/model execution, validation and verification.