Not registered as user yet

Name: Leonardo De Moura

Affiliation: Microsoft Research, n.n.

Personal website: http://leodemoura.github.io/

ICFP 2017 Activities

• Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
• Show activities from other conferences