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