View of Program Logic Foundations: Putting the Logic Back into Program Logic

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