View of A decidable class of verification conditions for programs with higher order store

Return to Article Details A decidable class of verification conditions for programs with higher order store Download Download PDF