Y.K.: THOR: A tool for reasoning about shape and arithmetic (2008)

by S Magill, M H Tsai, P Lee, Tsay
Venue:In: CAV’08. LNCS