An investigation into the methods of production and verification of highly reliable software (0)

by G Dahll, J Lahti
Venue:In Proc. SAFECOMP 79