Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, invited paper (1995)

by P Cousot, R Cousot
Venue:Proc. of the Seventh International Conference on Computer Aided Verification (CAV’95), volume 939 of LNCS