Integrated Reasoning and Proof Choice Point Selection in the Jahob System (Mechanisms for Program Survival)

by Martin Rinard
Citations:3 - 0 self