@inproceedings{dhaussy:hal-00517287, TITLE = {{Un assistant de preuve bas{\'e} sur la technique des observateurs}}, AUTHOR = {Dhaussy, Philippe and Roger, Jean-Charles}, URL = {https://hal.science/hal-00517287}, BOOKTITLE = {{AFADL'06}}, ADDRESS = {Paris, France}, YEAR = {2006}, HAL_ID = {hal-00517287}, HAL_VERSION = {v1}, }