Marko van Eekelen

Livres
Foundational and Practical Aspects of Resource Analysis Foundational and Practical Aspects of Resource Analysis
Foundational and Practical Aspects of Resource Analysis
2016
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011