Reachability Analysis of Program Variables.

Durica Nikolic, Fausto Spoto

Browse the full CADE paper archive.