| |
| 2007 | ||
|---|---|---|
| 2 | EE | Ralph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78 |
| 2005 | ||
| 1 | EE | Ralph-Johan Back, Magnus Myreen: Tool Support for Invariant Based Programming. APSEC 2005: 711-718 |
| 1 | Ralph-Johan Back | [1] [2] |
| 2 | Johannes Eriksson | [2] |