equal
deleted
inserted
replaced
1 @inproceedings{Haftmann08, |
1 @inproceedings{Haftmann08, |
2 author = {F.~Haftmann and M.~Wenzel}, |
2 author = {F.~Haftmann and M.~Wenzel}, |
3 title = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar}, |
3 title = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar}, |
4 booktitle = {Proc.~of the International Conference on Types, Proofs and Programms (TYPES)}, |
4 booktitle = {Proc.~of the International Conference on Types, Proofs and Programs (TYPES)}, |
5 year = {2008}, |
5 year = {2008}, |
6 pages = {153-168}, |
6 pages = {153-168}, |
7 series = {LNCS}, |
7 series = {LNCS}, |
8 volume = {5497} |
8 volume = {5497} |
9 } |
9 } |