Neeraj Khanolkar
Graduate StudentThe Java Modeling Language (JML) Group
Computer Science Department
Iowa State University
Ames, IA 50011-1040 USA
Advisors : Dr Gary Leavens and Dr Soma Chaudhuri
Research Interests
- Software specification techniques (JML in particular)
- Object Oriented Frameworks and their formal specification