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

by P Cousot, R Cousot
Venue:Proceedings of the Seventh International Conference on Computer Aided Verification, CAV ’95