@inproceedings{mkk98,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T. and Kolyang and Krieg-Br{\"u}ckner, B.},
  biburl = {https://www.bibsonomy.org/bibtex/2a9e73287aa1891ab8670ed93856e14aa/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97},
  editor = {Parisi-Pressice, F.},
  interhash = {fddbfef4b4b80156bb025e1bd585a024},
  intrahash = {a9e73287aa1891ab8670ed93856e14aa},
  keywords = {CASL analysis proving static theorem},
  number = 1376,
  pages = {333-348},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/CASL.ps},
  publisher = {Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>},
  year = 1998
}