| |
| 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, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17 |
| 1 | Ralph-Johan Back | [1] [2] |
| 2 | Luka Milovanov | [1] |
| 3 | Magnus Myreen | [2] |