Alias annotations for program understanding
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Hi-index | 0.00 |