Formal Development of Software for Tolerating Transient Faults.

Dubravka Ilic, Elena Troubitsyna

Browse the full PRDC paper archive.