Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Interactive Theorem Proving and Program Development
2004
1,295 citations
Book
Field-Weighted Citation Impact:
16.45
Interactive Theorem Proving and Program Development | Researchclopedia