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.
Abstract is missing.