Musab A. AlTurki, José Meseguer. Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Journal of Logic and Algebraic Programming, 84(4):505-533, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.