Radu Mereuta

From K Framework
Jump to: navigation, search

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

Personal tools