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]
@inproceedings{PerryW08,
title = {Reasoning about Control Flow in the Presence of Transient Faults},
author = {Frances Perry and David Walker},
year = {2008},
doi = {10.1007/978-3-540-69166-2_22},
url = {http://dx.doi.org/10.1007/978-3-540-69166-2_22},
tags = {data-flow},
researchr = {https://researchr.org/publication/PerryW08},
cites = {0},
citedby = {0},
pages = {332-346},
booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
editor = {María Alpuente and Germán Vidal},
volume = {5079},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-69163-1},
}