Erik A. Mathiesen

	2009
3		Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva: A general framework for sound and complete Floyd-Hoare logics. ACM Trans. Comput. Log. 11(1): (2009)
	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] [3]
2	Ursula Martin	[1] [2] [3]
3	Paulo Oliva	[1] [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page