13739
|
1 |
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
|
|
2 |
@string{FAC="Formal Aspects of Computing"}
|
|
3 |
|
|
4 |
@Book{Tanenbaum,
|
|
5 |
author = {Andrew S. Tanenbaum},
|
|
6 |
title = {Modern Operating Systems},
|
|
7 |
publisher = {Prentice-Hall},
|
|
8 |
year = 1992
|
|
9 |
}
|
|
10 |
|
|
11 |
@Misc{Unix-heritage,
|
|
12 |
key = {Unix},
|
|
13 |
title = {The {Unix} Heritage Society},
|
|
14 |
note = {\\ \url{http://www.tuhs.org/}}
|
|
15 |
}
|
|
16 |
|
|
17 |
@Book{Broy-PartI,
|
|
18 |
author = {M. Broy},
|
|
19 |
title = {Informatik --- Eine grundlegende Einf{\"u}hrung
|
|
20 |
(Teil I)},
|
|
21 |
publisher = {Springer},
|
|
22 |
year = 1992
|
|
23 |
}
|
|
24 |
|
|
25 |
@Book{Huth-Ryan:2000,
|
|
26 |
author = {M. R. A Huth and M. D. Ryan},
|
|
27 |
title = {Logic in Computer Science --- Modelling and
|
|
28 |
reasoning about systems},
|
|
29 |
publisher = {Cambridge University Press},
|
|
30 |
year = 2000,
|
|
31 |
note = {\\ \url{http://www.cs.bham.ac.uk/research/lics/}}
|
|
32 |
}
|
|
33 |
|
|
34 |
@Misc{Wenzel:2000:Hoare,
|
|
35 |
author = {Markus Wenzel},
|
|
36 |
title = {A formulation of {H}oare {L}ogic in {I}sabelle/{I}sar},
|
|
37 |
month = {June},
|
|
38 |
year = 2000,
|
|
39 |
note = {\\ \url{http://www4.in.tum.de/~wenzelm/papers/Hoare-Isar.pdf}}
|
|
40 |
}
|
|
41 |
|
|
42 |
@Misc{Naraschewski-Wenzel:1998:HOOL,
|
|
43 |
author={Wolfgang Naraschewski and Markus Wenzel},
|
|
44 |
title=
|
|
45 |
{Object-Oriented Verification based on Record Subtyping in Higher-Order Logic},
|
|
46 |
booktitle={Theorem Proving in Higher Order Logics:
|
|
47 |
11th International Conference, TPHOLs'98},
|
|
48 |
publisher={Springer},volume=1479,series=LNCS,year=1998
|
|
49 |
}
|
|
50 |
|
|
51 |
@Misc{Nipkow:1998:Winskel,
|
|
52 |
author={Tobias Nipkow},
|
|
53 |
title={Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
|
|
54 |
journal=FAC,volume=10,pages={171--186},year=1998}
|
|
55 |
}
|
|
56 |
|
|
57 |
@Book{Winskel:1993,
|
|
58 |
author = {G. Winskel},
|
|
59 |
title = {The Formal Semantics of Programming Languages},
|
|
60 |
publisher = {MIT Press},
|
|
61 |
year = 1993
|
|
62 |
}
|
|
63 |
|
|
64 |
|
|
65 |
@manual{isabelle-isar-ref,
|
|
66 |
author = {Markus Wenzel},
|
|
67 |
title = {The {Isabelle/Isar} Reference Manual},
|
|
68 |
institution = {TU M{\"u}nchen},
|
|
69 |
year = 2000,
|
|
70 |
note = {\\ \url{http://isabelle.in.tum.de/doc/}}}
|
|
71 |
|
|
72 |
@manual{isabelle-tutorial,
|
|
73 |
author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
|
|
74 |
title = {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
|
|
75 |
publisher = {Springer},
|
|
76 |
series = {LNCS},
|
|
77 |
volume = 2283,
|
|
78 |
year = 2002,
|
|
79 |
note = {\\ \url{http://www4.in.tum.de/~nipkow/LNCS2283/}}}
|
|
80 |
|
|
81 |
@Misc{McMillan-LectureNotes,
|
|
82 |
author = {Ken McMillan},
|
|
83 |
title = {Lecture notes for {NATO} summer school on verification of digital and hybrid systems},
|
|
84 |
note = {\\ \url{http://www-cad.eecs.berkeley.edu/~kenmcmil/tutorial/toc.html}}
|
|
85 |
}
|