(2011). From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security.
Chicago Style (17th ed.) CitationFrom Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. 2011.
MLA (8th ed.) CitationFrom Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. 2011.
Warning: These citations may not always be 100% accurate.