David Lazar Member Status: Collaborator E-mail: lazar6@illinois.edu Publications 2013 The K Primer (version 3.2) David Lazar and Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu K11 BIB 2012 Executing Formal Semantics with the K Tool David Lazar and Chucky Ellison and Radu Mereuta and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu FM12 BIB
The K Primer (version 3.2) David Lazar and Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu K11 BIB
Executing Formal Semantics with the K Tool David Lazar and Chucky Ellison and Radu Mereuta and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu FM12 BIB