Reports for Author "Perry, Frances"

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