DMCA

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

Cached

Download Links

by Stephen Magill , Ming-hsien Tsai , Peter Lee , Yih-kuen Tsay
Venue:In CAV, LNCS 5123
Citations:21 - 4 self