15 @book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel}, |
15 @book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel}, |
16 title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic", |
16 title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic", |
17 publisher=Springer,series=LNCS,volume=2283,year=2002} |
17 publisher=Springer,series=LNCS,volume=2283,year=2002} |
18 |
18 |
19 @book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein}, |
19 @book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein}, |
20 title="Concrete Semantics. A Proof Assistant Approach", |
20 title="Concrete Semantics with Isabelle/HOL",publisher="Springer",year=2014, |
21 publisher={\url{http://www.concrete-semantics.org}},year=2013} |
21 note={298 pp. \url{http://concrete-semantics.org}}} |
22 |
22 |
23 @manual{IsarRef,author={Makarius Wenzel}, |
23 @manual{IsarRef,author={Makarius Wenzel}, |
24 title={The Isabelle/Isar Reference Manual}, |
24 title={The Isabelle/Isar Reference Manual}, |
25 note={\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
25 note={\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}} |
26 |
|