Bibtex:Contejean07
From Termination-Portal.org
Jump to navigationJump to searchBibTex
É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
- BibtexAuthor : É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
