Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eduardo Marques
conf.researchr.org general profile
SPLASH 2012 profile
SPLASH 2015 profile
Registered user since Wed 19 Aug 2015
Name:
Eduardo Marques
Affiliation:
LaSIGE, University of Lisbon
Contributions
2015
SPLASH
Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA Artifacts-track
Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA-track
2012
DSM
Author of The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones within the DSM 2012-track
Share
x
Mon 23 Dec 14:31