Proceedings

• 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.