Write a Blog >>

Not registered as user yet

Name:Lionel Rieg
Affiliation:Collège de France

Contributions

PLDI 2017 A Formally Verified Compiler for Lustre
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile