Marko Van Eekelen

Marko Van Eekelen

2 books in the database

Books

Foundational and Practical Aspects of Resource AnalysisMarko Van Eekelen

Foundational and Practical Aspects of Resource Analysis

Marko Van Eekelen · 2016

Interactive Theorem ProvingMarko Van Eekelen

Interactive Theorem Proving

Marko Van Eekelen · 2011