Xin Zhang. Combining logical and probabilistic reasoning in program analysis. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2018. [doi]
@phdthesis{basesearch-8501,
title = {Combining logical and probabilistic reasoning in program analysis},
author = {Xin Zhang},
year = {2018},
url = {https://www.base-search.net/Record/f1b79a1d9d8344208ae0701926ba804bc0a820751050207b360dcf414bd7319f},
note = {base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/59200)},
researchr = {https://researchr.org/publication/basesearch-8501},
cites = {0},
citedby = {0},
school = {Georgia Institute of Technology, Atlanta, GA, USA},
}