Skip to Main content
Number of documents


Curriculum Vitae - Olivier Pons

Andrei Paskevich   

Conference papers1 document

  • Evelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, et al.. A3PAT, an Approach for Certified Automated Termination Proofs. 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩. ⟨inria-00535655⟩