Gary T. Leavens. Invited Talk: JML framed!. In Cormac Flanagan, Andreas Zeller, editors, Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 04, Washington, DC, USA, June 7-8, 2004. pages 1, ACM, 2004. [doi]
Abstract is missing.