- Record: found
- Abstract: not found
- Book Chapter: not found
Certified Programs and Proofs
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references11
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Theorems for free!
Philip Wadler (1989)
- Record: found
- Abstract: not found
- Book: not found
Theorem Proving with the Real Numbers
John Harrison (1998)
- Record: found
- Abstract: not found
- Book Chapter: not found
Data Refinement in Isabelle/HOL
Florian Haftmann, Alexander Krauss, Ondřej Kunčar … (2013)