Nistor Ligia -

Registered user since Tue 18 Aug 2015

Name:Nistor Ligia

Affiliation:Carnegie Mellon University

Personal website:http://www.cs.cmu.edu/~lnistor/

Contributions

SPLASH 2017	Author of Verifying the Proxy Design Pattern Using Object Propositions within the Student Research Competition-track
Modularity 2016	Author of The Modularity of Object Propositions within the Student Research Competition-track
SPLASH 2015	Author of The Oprop Verification Tool: Object Propositions in Action within the Student Research Competition-track