conf.researchr.org / Lionel Rieg
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 |
Not registered as user yet
Contributions
| PLDI 2017 | Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track |