From K Framework
Radu Mereuta is a PhD student at the Alexandru Ioan-Cuza University in Iasi, Romania, under the supervision of Prof. Dorel Lucanu.
Role in the K Framework Project
- Working on parsing for the new K 3.0 tool.
Publications Related to the K Framework
- Executing Formal Semantics with the K Tool
- David Lazar, Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu and Grigore Rosu
FM'12, LNCS 7436, pp 267-271. 2012
PDF, Slides(PDF), FM'12, DBLP, BIB