K Overview and SIMPLE Case Study

Grigore Rosu, Traian-Florin Serbanuta. K Overview and SIMPLE Case Study. Electronic Notes in Theoretical Computer Science, 304:3-56, 2014. [doi]

Abstract

Abstract is missing.