Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis

Interactive Theorem Proving