![](/img/cover-not-exists.png)
A low-level memory model and an accompanying reachability predicate
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir RakamarićVolume:
11
Language:
english
Pages:
12
DOI:
10.1007/s10009-009-0098-1
Date:
April, 2009
File:
PDF, 1.36 MB
english, 2009