Login / Signup

A logic of reachable patterns in linked data-structures.

Greta YorshAlexander Moshe RabinovichMooly SagivAntoine MeyerAhmed Bouajjani
Published in: J. Log. Algebraic Methods Program. (2007)
Keyphrases