@book{cariou:inria-00512764, TITLE = {{Actes des deuxi{\`e}mes journ{\'e}es nationales du Groupement de Recherche CNRS du G{\'e}nie de la Programmation et du Logiciel}}, AUTHOR = {Cariou, Eric and Duchien, Laurence and Ledru, Yves}, URL = {https://inria.hal.science/inria-00512764}, EDITOR = {Universit{\'e} de Pau}, PUBLISHER = {{Universit{\'e} de Pau et des Pays de l'Adour}}, PAGES = {230}, YEAR = {2010}, MONTH = Mar, HAL_ID = {inria-00512764}, HAL_VERSION = {v1}, }