%0 Thesis %1 phd/us/Xie2007 %A Xie, Yichen %D 2007 %K %P 1-129 %T Static detection of software errors: precise and scalable algorithms for automatic detection of software errors. %@ 978-3-8364-2172-0

@phdthesis{phd/us/Xie2007, added-at = {2023-12-14T15:14:12.000+0100}, author = {Xie, Yichen}, biburl = {https://www.bibsonomy.org/bibtex/2d9bd02d6e924d4b1db6608d0e080d646/admin}, ee = {http://d-nb.info/985243384}, interhash = {e8b19c1090307673454058ba7cb81d41}, intrahash = {d9bd02d6e924d4b1db6608d0e080d646}, isbn = {978-3-8364-2172-0}, keywords = {}, pages = {1-129}, school = {Stanford University}, timestamp = {2023-12-14T15:14:12.000+0100}, title = {Static detection of software errors: precise and scalable algorithms for automatic detection of software errors.}, year = 2007 }