Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.

Martin C. Rinard

Browse the full CADE paper archive.