Bibtex:Contejean07

From Termination-Portal.org
Jump to navigationJump to search

BibTex

Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain - Certification of automated termination proofs

6th International Symposium on Frontiers of Combining Systems (FroCos 07) 4720:148--162, Liverpool,UK, @sep 2007
Bibtex
Author : Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Title : Certification of automated termination proofs
In : 6th International Symposium on Frontiers of Combining Systems (FroCos 07) -
Address : Liverpool,UK
Date : @sep 2007