Electronic Notes in Theoretical Computer Science, Volume 304
Mihail Asavoae:
K Semantics for Assembly Languages: A Case Study. 111-125 Andrei Stefanescu:
MatchC: A Matching Logic Reachability Verifier Using the K Framework. 183-198
maintained by

, founded at
