Patrick Cousot, Radhia Cousot. Static Determination of Dynamic Properties of Generalized Type Unions. In Language Design for Reliable Software. pages 77-94, 1977.
No references recorded for this publication.
No citations of this publication recorded.