Mark Hills 0001, editor, Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011. Volume 304 of Electronic Notes in Theoretical Computer Science, Elsevier, 2014. [doi]
Conference: kframework2014
@proceedings{kframework-2011,
title = {Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011},
year = {2014},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/304/suppl/C},
researchr = {https://researchr.org/publication/kframework-2011},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011},
conference = {kframework},
editor = {Mark Hills 0001},
volume = {304},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}