Johannes Eriksson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Ralph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78

2005

1 Ralph-Johan Back, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17

	2007
2		Ralph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78
	2005
1		Ralph-Johan Back, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17

Coauthor Index