Faulty Logic: Reasoning about Fault Tolerant Programs.

Matthew L. Meola, David Walker

Browse the full ESOP paper archive.