Publications : Journals

  1. 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.)

Comments are closed.