ISSE

Search

VSE: Controlling the Complexity in Formal Software Developments

D. Hutter, H. Mantel, G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, G. Schellhorn, and K. Stenzel

VSE: Controlling the Complexity in Formal Software Developments

published 1999 in: Boppard, Germany Current Trends in Applied Formal Methods

Publisher: Springer LNCS 1641