conf.researchr.org / Nistor Ligia
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 2017Author 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 2015Author of The Oprop Verification Tool: Object Propositions in Action within the Student Research Competition-track