Not registered as user yet

Name:Guilhem Jaber
Country:France
Affiliation:University of Nantes

Contributions

ICFP 2021 Author of Theorems for Free from Separation Logic Specifications within the Research Papers-track