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]

Authors

Grigore Rosu

Identified as Grigore Rosu

Traian-Florin Serbanuta

This author has not been identified. Look up 'Traian-Florin Serbanuta' in Google