APA (7th ed.) Citation

unknown. (2020). A Formal Executable Semantics of Orc using the K Framework.

Chicago Style (17th ed.) Citation

unknown. A Formal Executable Semantics of Orc Using the K Framework. 2020.

MLA (9th ed.) Citation

unknown. A Formal Executable Semantics of Orc Using the K Framework. 2020.

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