03621094

j

03621094 Clarke, E.M. Program invariants as fixedpoints. Computing 21, 273-294 (1979). 1979 Springer-Verlag, Wien EN Predicate Transformers Program Invariants Floyd-Hoare Axiom Systems Fixedpoint Theorems

doi:10.1007/BF02248730