@inproceedings{dhaussy:hal-00517284, TITLE = {{Mise en oeuvre d'unit{\'e}s de preuve pour la v{\'e}rification formelle de mod{\`e}les}}, AUTHOR = {Dhaussy, Philippe and Roger, Jean-Charles and Boniol, Fr{\'e}d{\'e}ric}, URL = {https://hal.science/hal-00517284}, BOOKTITLE = {{Conf IDM'07}}, ADDRESS = {Toulouse, France}, PAGES = {101-116}, YEAR = {2007}, HAL_ID = {hal-00517284}, HAL_VERSION = {v1}, }