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