Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Todd W. Schiller
conf.researchr.org general profile
SPLASH 2012 profile
Not registered as user yet
Name:
Todd W. Schiller
Contributions
2012
SPLASH
Author of Reducing the barriers to writing verified specifications within the OOPSLA Research Papers-track
Share
x
Fri 8 Nov 22:30