Proceedings-Artikel
Deduction in the Verification Support Environment (VSE)
Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Christian-Albrechts-Universität, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.