Login / Signup

Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.

Bertrand Jeannet
Published in: SAS (2002)
Keyphrases