• Sign in
  • Sign up
conf.researchr.org / Nistor Ligia
  • Modularity 2016 profile
  • SPLASH 2015 profile
  • SPLASH 2017 profile
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

Share
xFri 27 Jan 02:39
using conf.researchr.org (v1.58.0)
Support page
Sign Up