Reasoning about Software in the Presence of Transient Faults – Complete Proofs [note change]
Report ID: TR-831-08Author: Perry, Frances
Date: 2008-08-00
Pages: 220
Download Formats: |PDF|
Abstract:
Complete proofs corresponding to TR-830-08 (Reasoning about Software in the Presence of Transient Faults).