%0 Conference Paper %1 mkk98 %A Mossakowski, T. %A Kolyang, %A Krieg-Brückner, B. %B Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97 %D 1998 %E Parisi-Pressice, F. %I Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de %K CASL analysis proving static theorem %N 1376 %P 333-348 %T Static Semantic Analysis and Theorem Proving for C<small><small>ASL</small></small>

@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 }