Foundational and Practical Aspects of Resource Analysis Sách Khác Của Marko van Eekelen & Ugo Dal Lago

Interactive Theorem Proving

2011