2010

Conférence Internationale avec comité de lecture

• [CCF10] E. Contejean, P. Courtieu, J. Forest, A. Paskevich, O. Pons, X. Urbain. "A3PAT, an Approach for Certified Automated Termination Proofs", PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain, January 2010, pp.10,