Patrick Cousot. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science, 277(1-2):47-103, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.