Greta Yorsh. Employing decision procedures for verification of heap-manipulating programs. PhD thesis, Tel Aviv University, Israel, 2007. [doi]
@phdthesis{il-953, title = {Employing decision procedures for verification of heap-manipulating programs}, author = {Greta Yorsh}, year = {2007}, url = {https://tau.primo.exlibrisgroup.com/permalink/972TAU_INST/bai57q/alma990021574110204146}, note = {Tel Aviv University Library}, researchr = {https://researchr.org/publication/il-953}, cites = {0}, citedby = {0}, school = {Tel Aviv University, Israel}, }