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.
Abstract is missing.