Maritta Heisel, Thomas Santen, Dominik Zimmermann. Tool Support for Formal Software Development: A Generic Architecture. In Wilhelm Schäfer, Pere Botella, editors, 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Volume 989 of Lecture Notes in Computer Science, pages 272-293, Springer, 1995.
@inproceedings{HeiselSZ95,
title = {Tool Support for Formal Software Development: A Generic Architecture},
author = {Maritta Heisel and Thomas Santen and Dominik Zimmermann},
year = {1995},
tags = {software architecture, architecture},
researchr = {https://researchr.org/publication/HeiselSZ95},
cites = {0},
citedby = {0},
pages = {272-293},
booktitle = {5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings},
editor = {Wilhelm Schäfer and Pere Botella},
volume = {989},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60406-5},
}