Publikation

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. Workshop on Systems for Computer-Aided Specification, Development and Verification July 4-5 Kiel Germany Techical Report 9416 Universität Kiel 1994.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence