Not registered as user yet

Name:Lionel Rieg
Affiliation:Coll├Ęge de France

Contributions

PLDI 2017 Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track