@inproceedings{DBLP:conf/tacas/VaziriJ03,
  author    = {Mandana Vaziri and
               Daniel Jackson},
  title     = {Checking Properties of Heap-Manipulating Procedures with
               a Constraint Solver},
  booktitle = {Tools and Algorithms for the Construction and Analysis
                  of Systems, 9th International Conference, TACAS
                  2003, Proceedings},
  year      = {2003},
  pages     = {505-520},
url_paper={pubs/2003/checkingHMPs.pdf}
}

{"_id":"Pnqt9vKjjiePXEwtK","bibbaseid":"vaziri-jackson-checkingpropertiesofheapmanipulatingprocedureswithaconstraintsolver-2003","author_short":["Vaziri, M.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mandana"],"propositions":[],"lastnames":["Vaziri"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Checking Properties of Heap-Manipulating Procedures with a Constraint Solver","booktitle":"Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Proceedings","year":"2003","pages":"505-520","url_paper":"pubs/2003/checkingHMPs.pdf","bibtex":"@inproceedings{DBLP:conf/tacas/VaziriJ03,\n author = {Mandana Vaziri and\n Daniel Jackson},\n title = {Checking Properties of Heap-Manipulating Procedures with\n a Constraint Solver},\n booktitle = {Tools and Algorithms for the Construction and Analysis\n of Systems, 9th International Conference, TACAS\n 2003, Proceedings},\n year = {2003},\n pages = {505-520},\nurl_paper={pubs/2003/checkingHMPs.pdf}\n}\n\n","author_short":["Vaziri, M.","Jackson, D."],"key":"DBLP:conf/tacas/VaziriJ03","id":"DBLP:conf/tacas/VaziriJ03","bibbaseid":"vaziri-jackson-checkingpropertiesofheapmanipulatingprocedureswithaconstraintsolver-2003","role":"author","urls":{" paper":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/pubs/2003/checkingHMPs.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["checking","properties","heap","manipulating","procedures","constraint","solver","vaziri","jackson"],"title":"Checking Properties of Heap-Manipulating Procedures with a Constraint Solver","year":2003}