|
neuper@42035
|
1 |
@Book{Nipkow-Paulson-Wenzel:2002,
|
|
neuper@42035
|
2 |
author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
|
|
neuper@42035
|
3 |
title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
|
|
neuper@42035
|
4 |
publisher = {Springer},
|
|
neuper@42035
|
5 |
series = {LNCS},
|
|
neuper@42035
|
6 |
volume = 2283,
|
|
neuper@42035
|
7 |
year = 2002}
|
|
neuper@42035
|
8 |
|
|
neuper@42035
|
9 |
@Article{plmms10,
|
|
neuper@42035
|
10 |
author = {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
|
|
neuper@42035
|
11 |
title = {{CTP}-based programming languages~? Considerations about an experimental design},
|
|
neuper@42035
|
12 |
journal = {ACM Communications in Computer Algebra},
|
|
neuper@42035
|
13 |
year = {2010},
|
|
neuper@42035
|
14 |
volume = {44},
|
|
neuper@42035
|
15 |
number = {1/2},
|
|
neuper@42035
|
16 |
pages = {27-41},
|
|
neuper@42035
|
17 |
doi = {10.1145/1838599.1838621}
|
|
neuper@42035
|
18 |
}
|
|
neuper@42035
|
19 |
|
|
neuper@42035
|
20 |
@Manual{isar-impl,
|
|
neuper@42035
|
21 |
title = {The {Isabelle/Isar} Implementation},
|
|
neuper@42035
|
22 |
author = {Makarius Wenzel},
|
|
neuper@42035
|
23 |
month = {30 January},
|
|
neuper@42035
|
24 |
year = {2011},
|
|
neuper@42035
|
25 |
note = {With contributions by Florian Haftmann and Larry Paulson}
|
|
neuper@42035
|
26 |
}
|