A theoretical basis for the analysis of multiversion software subject to coincident errors (1985)

by D E Eckhardt, L D Lee
Venue:IEEE Transactions on Software Engineering