Foundational and Practical Aspects of Resource AnalysisMarko Van Eekelen, Ugo Dal Lago · First published 2016Open the Tome
Foundational and Practical Aspects of Resource AnalysisMarko Van Eekelen,Olha Shkaravska · First published 2011Open the Tome
Interactive Theorem ProvingMarko Van Eekelen, Herman Geuvers, Julien Schmaltz · First published 2011Open the Tome
Foundational and Practical Aspects of Resource AnalysisOlha Shkaravska, Marko van Eekelen · First published 2010Open the Tome
