Erik Arne Mathiesen

According to our database1, Erik Arne Mathiesen authored at least 3 papers between 2006 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
A general framework for sound and complete Floyd-Hoare logics.
ACM Trans. Comput. Log., 2009

2007
Abstract hoare logic.
PhD thesis, 2007

2006
Hoare Logic in the Abstract.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006


  Loading...