Erik A. Mathiesen

	2008
2		Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva: A General Framework for Sound and Complete Floyd-Hoare Logics CoRR abs/0807.1016: (2008)
	2006
1		Ursula Martin, Erik A. Mathiesen, Paulo Oliva: Hoare Logic in the Abstract. CSL 2006: 501-515

Coauthor Index

1	Rob Arthan	[2]
2	Ursula Martin	[1] [2]
3	Paulo Oliva	[1] [2]