Magnus Myreen

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Ralph-Johan Back, Johannes Eriksson, Magnus Myreen
Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP (2007)
Ralph-Johan Back, Magnus Myreen
Tool Support for Invariant Based Programming. APSEC (2005)