equal
deleted
inserted
replaced
|
1 |
|
2 @Misc{PINTOS, |
|
3 title = {\url{http://www.stanford.edu/class/cs140/projects/}}, |
|
4 } |
|
5 |
|
6 |
1 @inproceedings{Haftmann08, |
7 @inproceedings{Haftmann08, |
2 author = {F.~Haftmann and M.~Wenzel}, |
8 author = {F.~Haftmann and M.~Wenzel}, |
3 title = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar}, |
9 title = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar}, |
4 booktitle = {Proc.~of the International Conference on Types, Proofs and Programs (TYPES)}, |
10 booktitle = {Proc.~of the International Conference on Types, Proofs and Programs (TYPES)}, |
5 year = {2008}, |
11 year = {2008}, |