Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Nicolas Tabareau

Registered user since Fri 25 May 2018

Name:Nicolas Tabareau
Affiliation:Inria

Contributions

DLS 2015 Gradual Certified Programming in Coq
Show activities from other conferences

SPLASH 2015-profile
View general profile