Bibtex:Contejean07

From Termination-Portal.org
Revision as of 08:22, 21 May 2009 by Urbain (talk | contribs) (ref to a3pat added)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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