S/E/TEC - An Environment for the Production of Reliable Software

Ernst Denert, Wolfgang Hesse, Herbert Neumaier. S/E/TEC - An Environment for the Production of Reliable Software. In A. J. W. Duijvestijn, Peter C. Lockemann, editors, Trends in Information Processing Systems, 3rd Conference of the European Cooperation in Informatics, Munich, Germany, October 20-22, 1981, Proceedings. Volume 123 of Lecture Notes in Computer Science, pages 65-84, Springer, 1981.

Authors

Ernst Denert

This author has not been identified. Look up 'Ernst Denert' in Google

Wolfgang Hesse

This author has not been identified. Look up 'Wolfgang Hesse' in Google

Herbert Neumaier

This author has not been identified. Look up 'Herbert Neumaier' in Google