Foundational and Practical Aspects of Resource Analysis Plus de livres par Marko van Eekelen & Ugo Dal Lago

Interactive Theorem Proving

2011