Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radhia Cousot
conf.researchr.org general profile
SPLASH 2012 profile
Not registered as user yet
Name:
Radhia Cousot
Contributions
2012
SPLASH
Author of A semantic integrated development environment within the Demos-track
Author of An abstract interpretation framework for refactoring with application to extract methods with contracts within the OOPSLA Research Papers-track
Share
x
Fri 15 Nov 07:17