Foundational and Practical Aspects of Resource Analysis Mehr Bücher von Marko van Eekelen & Ugo Dal Lago

Interactive Theorem Proving

2011