APA (7th ed.) Citation

(2011). Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.

Chicago Style (17th ed.) Citation

Automated Verification of Specifications with Typestates and Access Permissions / Radu I. Siminiceanu, Néstor Cataño. 2011.

MLA (9th ed.) Citation

Automated Verification of Specifications with Typestates and Access Permissions / Radu I. Siminiceanu, Néstor Cataño. 2011.

Warning: These citations may not always be 100% accurate.