Nistor Ligia - SPLASH 2017

Write a Blog >>

Sun 22 - Fri 27 October 2017 Vancouver, Canada

Registered user since Tue 18 Aug 2015

Name:Nistor Ligia

Affiliation:Carnegie Mellon University

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

Contributions

2017

SPLASH

Verifying the Proxy Design Pattern Using Object Propositions

Show activities from other conferences

SPLASH 2017-profile
View general profile