View of Automated Verification of Specifications with Typestates and Access Permissions

Return to Article Details Automated Verification of Specifications with Typestates and Access Permissions Download Download PDF