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