Return to Article Details Program Logic Foundations: Putting the Logic Back into Program Logic Download Download PDF