Bibtex:Contejean07

BibTex

@InProceedings{contejean07frocos,

 author =       {Évelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
 title =        {Certification of automated termination proofs},
 booktitle =    {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},
 year =         2007,
 editor =       {Boris Konev and Frank Wolter},
 volume =       4720,
 pages =        {148--162},
 series =       lnai,
 address =      {Liverpool,UK},
 month =        sep,
 publisher =    sv

}

</bibtex>