@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, KEYWORDS = {certification ; termination ; rewriting ; Coq ; formal proof ; verification ; proof assistant ; extraction ; XML Schema ; certification ; termination ; rewriting ; Coq ; formal proof ; verification ; proof assistant ; extraction ; XML Schema}, HAL_ID = {hal-00763495}, HAL_VERSION = {v1}, }