Synthesis of interface specifications for Java classes.
Conference Proceeding
Overview
publication date
- January 1, 2005
Full Author List
- Alur R; CernĂ½ P; Madhusudan P; Nam W
Additional Document Info
start page
- 98
end page
- 109