Gary T. Leavens, editor, Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlanda, FL, USA. 2009.
Conference: OOPSLA 2009
Abstract is missing.