Using certification trails to achieve software fault tolerance (1990)

by G F Sullivan, G M Masson
Venue:In Twentieth International Symposium on Fault-Tolerant Computing