|
 
|
[CCF07a] Certification of automated termination proofs
Conférence Internationale avec comité de lecture : 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, January 2007, pp.148-162, Series LNAI 4720,
motcle:
BibTeX
| @inproceedings { | |||
| CCF07a, | |||
| title | = | "{Certification of automated termination proofs}", | |
| author | = | " E. Contejean and P. Courtieu and J. Forest and O. Pons and X. Urbain ", | |
| booktitle | = | "{6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni}", | |
| year | = | 2007, | |
| month | = | "January", | |
| series | = | "LNAI 4720", | |
| pages | = | "148-162", | |
| } | |||
