Siminiceanu, R., Ahmed, I., & Catano, N. (2012). Automated Verification of Specifications with Typestates and Access Permissions. Electronic Communications of the EASST, 53. https://doi.org/10.14279/tuj.eceasst.53.790