Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation (2000)

by Patrick Cousot
Citations:103 - 18 self