%0 Journal Article %1 journals/sttt/ChatterjeeLQR09 %A Chatterjee, Shaunak %A Lahiri, Shuvendu K. %A Qadeer, Shaz %A Rakamaric, Zvonimir %D 2009 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 105-116 %T A low-level memory model and an accompanying reachability predicate. %U http://dblp.uni-trier.de/db/journals/sttt/sttt11.html#ChatterjeeLQR09 %V 11

@article{journals/sttt/ChatterjeeLQR09, added-at = {2020-04-02T00:00:00.000+0200}, author = {Chatterjee, Shaunak and Lahiri, Shuvendu K. and Qadeer, Shaz and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/2023cefc0ca32789054e0bfa80c6ebd3a/dblp}, ee = {https://doi.org/10.1007/s10009-009-0098-1}, interhash = {4d68a63076405db5296454d3a9535d39}, intrahash = {023cefc0ca32789054e0bfa80c6ebd3a}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {105-116}, timestamp = {2020-04-03T11:54:56.000+0200}, title = {A low-level memory model and an accompanying reachability predicate.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt11.html#ChatterjeeLQR09}, volume = 11, year = 2009 }