APA (7th ed.) Citation

(2011). From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security.

Chicago Style (17th ed.) Citation

From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. 2011.

MLA (8th ed.) Citation

From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. 2011.

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