Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Isabelle/HOL
Home
Publications
Isabelle/HOL
Isabelle/HOL
Top Cited Papers
Publisher Website
Google Scholar
Cite
Download
Share
Download
10 April 2002
book
Published by
Springer Science and Business Media LLC
in
Lecture Notes in Computer Science
https://doi.org/10.1007/3-540-45949-9
Abstract
No abstract available
Keywords
FORMAL METHODS
FORMAL REASONING
FORMAL SPECIFICATION
FORMAL VERIFICATION
FUNCTIONAL PROGRAMMING
HIGHER-ORDER LOGIC
INTERACTIVE PROOF SYSTEMS
ISABELLE
PROOF ASSISTANTS
PROOF THEORY
THEOREM PROVING
TYPE THEORY
LOGIC
PREDICATE LOGIC
VERIFICATION
Cited by 1262 articles