Program Invariants as Fixed Points (Preliminary Reports)

Program Invariants as Fixed Points (Preliminary Reports) Edmund M. Clarke 18-29 conf/focs/FOCS18 1977 FOCS db/conf/focs/focs77.html#Clarke77