Sign in

Shape Analysis for Composite Data Structures.

Josh BerdineCristiano CalcagnoByron CookDino DistefanoPeter W. O'HearnThomas WiesHongseok Yang
Published in: CAV (2007)
Keyphrases