Reasoning about Implicit Invocation (1998)

by J Dingel, D Garlan, S Jha, D Notkin
Venue:In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena