Steve M. Shaner, Gary T. Leavens, David A. Naumann. Modular verification of higher-order methods with mandatory calls specified by model programs. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 351-368, ACM, 2007. [doi]
Abstract is missing.