Difference between revisions of "Bibtex:Contejean07"

From Termination-Portal.org
Jump to navigationJump to search
(ref to a3pat added)
 
(No difference)

Latest revision as of 08:22, 21 May 2009

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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:Contejean07&oldid=824"