Abstract Interpretation Using TDGs

Laurent Mauborgne. Abstract Interpretation Using TDGs. In SAS. pages 363-379, 1994.

Authors

Laurent Mauborgne

This author has not been identified. Look up 'Laurent Mauborgne' in Google