Taekgoo Kim, Kevin Bierhoff, Jonathan Aldrich, Sungwon Kang. Typestate protocol specification in JML. In SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. pages 11-18, ACM, 2009. [doi]
Abstract is missing.