Reports for Author "Perry, Frances" | Computer Science Department at Princeton University

TR-831-08 - Reasoning about Software in the Presence of Transient Faults – Complete Proofs [note change] (2008)
Authors: Perry, Frances
TR-830-08 - Reasoning about Software in the Presence of Transient Faults (thesis) (2008)
Authors: Perry, Frances
TR-799-07 - Reasoning about Control Flow in the Presence of Transient Faults (2007)
Authors: Perry, Frances / Walker, David
TR-776-07 - Fault-tolerant Typed Assembly Language (2007)
Authors: Perry, Frances / Mackey, Lester / Reis, George A. / Ligatti, Jay / August, David I. / Walker, David