Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (1995)

Cached

Download Links

by Patrick Cousot , Radhia Cousot
Citations:24 - 10 self