Grigore Rosu, Traian-Florin Serbanuta. K Overview and SIMPLE Case Study. Electronic Notes in Theoretical Computer Science, 304:3-56, 2014. [doi]
@article{RosuS14,
title = {K Overview and SIMPLE Case Study},
author = {Grigore Rosu and Traian-Florin Serbanuta},
year = {2014},
doi = {10.1016/j.entcs.2014.05.002},
url = {http://dx.doi.org/10.1016/j.entcs.2014.05.002},
researchr = {https://researchr.org/publication/RosuS14},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {304},
pages = {3-56},
}