Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ashish Mishra
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Fri 26 May 2017
Name:
Ashish Mishra
Contributions
2017
ECOOP
Author of Analysis and Verification of Rich Typestate Properties for Complex Programs within the ECOOP Doctoral Symposium-track
Share
x
Sat 23 Nov 09:03