A Low-Level Memory Model and an Accompanying Reachability Predicate
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. International Journal on Software Tools for Technology Transfer (STTT), 2009. (Invited.)
Read the rest of this entry »
