Search results for: Yves Bertot
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 33-71
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 531-545
Texts in Theoretical Computer Science. An EATCS Series
Texts in Theoretical Computer Science. An EATCS Series > Interactive Theorem Proving and Program Development > 187-210
Lecture Notes in Computer Science > Language Engineering and Rigorous Software Development > 153-194
Texts in Theoretical Computer Science. An EATCS Series > Interactive Theorem Proving and Program Development > 13-42
Texts in Theoretical Computer Science. An EATCS Series > Interactive Theorem Proving and Program Development > 325-346
Texts in Theoretical Computer Science. An EATCS Series > Interactive Theorem Proving and Program Development > 43-72
Texts in Theoretical Computer Science. An EATCS Series > Interactive Theorem Proving and Program Development > 433-448
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 346-361
Texts in Theoretical Computer Science. An EATCS Series > Interactive Theorem Proving and Program Development > 73-103
Lecture Notes in Computer Science > Computational Science and Its Applications - ICCSA 2011 > Workshop on Symbolic Computing for Dynamic Geometry (SCDG 2011) > 368-383
Lecture Notes in Computer Science > Computer Aided Verification > Model Checking and Theorem Proving > 14-24