Foundational and Practical Aspects of Resource Analysis More Books by Marko van Eekelen & Ugo Dal Lago

Interactive Theorem Proving

2011