Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Interactive Theorem Proving and Program Development
Home
Publications
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
YB
Yves Bertot
Yves Bertot
PC
Pierre Castéran
Pierre Castéran
Top Cited Papers
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 2004
book
Published by
Springer Science and Business Media LLC
in
Texts in Theoretical Computer Science. An EATCS Series
https://doi.org/10.1007/978-3-662-07964-5
Abstract
No abstract available
Keywords
AUTOMAT
COQ
FORMAL METHOD
INTERACTIVE THEOREM PROVING
LOGIC
PROGRAMMING
PROVING
THEOREM PROVING
Cited by 802 articles