Formal Software Development in the Verification Support Environment (VSE).

Dieter Hutter, Georg Rock, Jrg H. Siekmann, Werner Stephan, Roland Vogt

Browse the full FlAIRS paper archive.