Not registered as user yet

Name:Samuel Hym
Affiliation:University of Lille, France

Contributions

CPP 2018 Author of Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations within the CPP 2018-track