Erik Arne Mathiesen

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD

Publications

Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
A general framework for sound and complete Floyd-Hoare logics. ACM Trans. Comput. Log. 11 (1) (2009)
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
A General Framework for Sound and Complete Floyd-Hoare Logics CoRR (2008)
Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
Hoare Logic in the Abstract. CSL (2006)