Marko Van Eekelen

Foundational and Practical Aspects of Resource Analysis

Interactive Theorem Proving