A Formal Executable Semantics of Orc using the K Framework

  • Omar Alzuhaibi

Student thesis: Master's Thesis

Date of Award10 Dec 2015
Original languageEnglish
SupervisorMusab Alturki (Supervisor)

Cite this

'