Johannes Eriksson

	2011
4		Ralph-Johan Back, Johannes Eriksson: An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support THedu'11 2011: 29-48
	2010
3		Johannes Eriksson, Ralph-Johan Back: Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM 2010: 24-39
	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

1	Ralph-Johan Back	[1] [2] [3] [4]
2	Luka Milovanov	[1]
3	Magnus Myreen	[2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page