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

by Patrick Cousot
Citations:98 - 17 self