Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. Semantic essence of AsmL. Theoretical Computer Science, 343(3):370-412, 2005. [doi]

No reviews for this publication, yet.