Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
4 matches found for Perry, Frances:
- Perry, Frances
- Fault-tolerant Typed Assembly Language, TR-776-07, April 2007
- Reasoning about Control Flow in the Presence of Transient Faults, TR-799-07, October 2007
- Reasoning about Software in the Presence of Transient Faults (thesis), TR-830-08, August 2008
- Reasoning about Software in the Presence of Transient Faults – Complete Proofs [note change], TR-831-08, August 2008
