Deduction in the Verification Support Environment (VSE) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers. Deduction in the Verification Support Environment (VSE). In Marie-Claude Gaudel, Jim Woodcock, editors, FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Volume 1051 of Lecture Notes in Computer Science, pages 268-286, Springer, 1996.

This author has not been identified. Look up 'Dieter Hutter' in GoogleThis author has not been identified. Look up 'Bruno Langenstein' in GoogleThis author has not been identified. Look up 'Claus Sengler' in GoogleThis author has not been identified. Look up 'Jörg H. Siekmann' in GoogleThis author has not been identified. Look up 'Werner Stephan' in GoogleThis author has not been identified. Look up 'Andreas Wolpers' in Google

runs on WebDSL