Login / Signup

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

Ernst DenertWolfgang HesseHerbert Neumaier
Published in: ECI (1981)
Keyphrases