Radu Mereuta Member Status: Former E-mail: radu.mereuta@info.uaic.ro Web Address Profesional activities: Developer for the K-framework. Publications 2014 All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB 2012 Executing Formal Semantics with the K Tool Chucky Ellison and Radu Mereuta and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu FM12 BIB 2011 Parsing K definitions Radu Mereuta and Gheorghe Grigoras BIB
All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB
Executing Formal Semantics with the K Tool Chucky Ellison and Radu Mereuta and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu FM12 BIB
