Till Mossakowski, Bartek Klin. Institution Independent Static Analysis for CASL. In Maura Cerioli, Gianna Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Volume 2267 of Lecture Notes in Computer Science, pages 221-237, Springer, 2001. [doi]
@inproceedings{MossakowskiK01,
title = {Institution Independent Static Analysis for CASL},
author = {Till Mossakowski and Bartek Klin},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2267/22670221.htm},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/MossakowskiK01},
cites = {0},
citedby = {0},
pages = {221-237},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers},
editor = {Maura Cerioli and Gianna Reggio},
volume = {2267},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43159-4},
}