Foundational and Practical Aspects of Resource Analysis Marko van Eekelen & Ugo Dal Lago: другие книги

Interactive Theorem Proving

2011