Showing results 1 to 1 of 1
Typestate protocol specification in JML Kim, Taekgoo; Bierhoff, Kevin; Aldrich, Jonathan; Kang, Sungwon, 8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS'09, Co-located with the 7th ESEC/FSE Joint Meeting, ESEC-FSE'09, pp.11 - 18, Association for Computing Machinery (ACM), 2009-08-25 |
Discover