Skip to Main content
Number of documents

1

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⟩