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 references 19

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 198 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Edinburgh LCF

Michael J. C. Gordon, Arthur Milner, Christopher Wadsworth (1979)

0 comments Cited 89 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

seL4

Gerwin Klein, Michael Norrish, Thomas R. Sewell … (2009)

0 comments Cited 59 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 177-191

DOI: 10.1007/978-3-642-20398-5_14

SO-VID: 80f4d1b5-9d91-4719-b4ba-f882b98147de

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 13

Scalable LCF-Style Proof Translation
Authors: Cezary Kaliszyk, Alexander Krauss
System Description: GAPT 2.0
Authors: Gabriel Ebner, Stefan Hetzl, Giselle Reis …
Self-Formalisation of Higher-Order Logic
Authors: Ramana Kumar, Rob Arthan, Magnus O. Myreen …

See all cited by

The OpenTheory Standard Theory Library

Read this book at

Related collections

Open Library of Humanities

Most cited references 19

Isabelle/HOL

Edinburgh LCF

seL4

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,873

Cited by 13