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

by Patrick Cousot
Citations:123 - 19 self