Magnus Myreen

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, Magnus Myreen: Tool Support for Invariant Based Programming. APSEC 2005: 711-718

	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, Magnus Myreen: Tool Support for Invariant Based Programming. APSEC 2005: 711-718

Coauthor Index