Marko Van Eekelen

No bio available. Add one in Open Library.

Books by Marko Van Eekelen (50 max)

+ shelf+ list

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

2011

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz

+ shelf+ list

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, Fopara 2015, London, UK, April 11, 2015. Revised Selected Papers

2016

Marko Van Eekelen, Ugo Dal Lago