Automatic numeric abstractions for heap-manipulating programs

Journal

ACM SIGPLAN Notices

Journal Volume

45

Journal Issue

1

Pages

211-222

Date Issued

2010

Author(s)

Magill, S.

Tsai, M.-H.

Lee, P.

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-77149167807&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/356139

Type

journal article