Deduction in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers

Browse the full FM paper archive.