K Semantics for Assembly Languages: A Case Study

Mihail Asavoae. K Semantics for Assembly Languages: A Case Study. Electronic Notes in Theoretical Computer Science, 304:111-125, 2014. [doi]

Abstract

Abstract is missing.