VSE: Controlling the Complexity in Formal Software Developments.

Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

Browse the full FM paper archive.