GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Hugo López

Registered user since Thu 27 Aug 2015

Name:Hugo López
Country:Colombia
Affiliation:Technical University of Denmark
Research interests:Programming Languages, type theory, mobile and distributed computing

Contributions

SPLASH 2015 Protocol-Based Verification of Message-Passing Parallel Programs
Protocol-Based Verification of Message-Passing Parallel Programs
Show activities from other conferences

SPLASH 2015-profile
View general profile