Frances Perry, David Walker. Reasoning about Control Flow in the Presence of Transient Faults. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 332-346, Springer, 2008. [doi]
Abstract is missing.