Reasoning about Control Flow in the Presence of Transient Faults

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]

Authors

Frances Perry

This author has not been identified. Look up 'Frances Perry' in Google

David Walker

This author has not been identified. It may be one of the following persons: Look up 'David Walker' in Google