(2011). Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.
Citazione stile Chigago Style (17a edizione)Automated Verification of Specifications with Typestates and Access Permissions / Radu I. Siminiceanu, Néstor Cataño. 2011.
Citatione MLA (9a ed.)Automated Verification of Specifications with Typestates and Access Permissions / Radu I. Siminiceanu, Néstor Cataño. 2011.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.