Arithmetizing Shape Analysis.

Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rmmer, Thomas Wies

Browse the full CAV paper archive.