(2011). Proving Safety Properties of Rewrite Theories.
Chicago Style (17th ed.) CitationProving Safety Properties of Rewrite Theories. 2011.
MLA (8th ed.) CitationProving Safety Properties of Rewrite Theories. 2011.
Warning: These citations may not always be 100% accurate.