Menu

Chucky Ellison

Member Status: Collaborator

Institution: Formal Systems Laboratory, University at Illinois at Urbana Champaign, US

E-mail: celliso2@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

Making Maude Definitions more Interactive

Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie

PDF WRLA2012 BIB

Sidebar