@inproceedings{dhaussy:hal-00517273, TITLE = {{Exp{\'e}rimentation d'un langage de contexte et de propri{\'e}t{\'e}s pour la validation formelle de mod{\`e}les logiciels}}, AUTHOR = {Dhaussy, Philippe and Mon{\'e}gier Du Sorbier, A. and Bonnafous, Eric}, URL = {https://hal.science/hal-00517273}, BOOKTITLE = {{S{\'e}minaire Action IDM-INNFORSID : Exigence, Tra{\c c}abilit{\'e} et Co-conception dans les processus de d{\'e}veloppement}}, ADDRESS = {Paris, France}, YEAR = {2009}, HAL_ID = {hal-00517273}, HAL_VERSION = {v1}, }