@inproceedings{blanqui:hal-00763495, TITLE = {{Automated verification of termination certificates}}, AUTHOR = {Blanqui, Fr{\'e}d{\'e}ric and Ly, Kim Quyen}, URL = {https://hal.inria.fr/hal-00763495}, BOOKTITLE = {{15th National Symposium of Selected ICT Problems}}, ADDRESS = {Hanoi, Vietnam}, YEAR = {2012}, MONTH = Dec, HAL_ID = {hal-00763495}, HAL_VERSION = {v1}, }