%0 Thesis %1 xie2006static %A Xie, Yichen %D 2006 %K %T Static detection of software errors: precise and scalable algorithms for automatic detection of software errors

@phdthesis{xie2006static, added-at = {2023-12-12T19:01:51.000+0100}, author = {Xie, Yichen}, biburl = {https://www.bibsonomy.org/bibtex/267e384a9169fc00870aba77c73ab8502/admin}, dnbtitleid = {985243384}, interhash = {1aba40fd8228adeb084de3a2c9a06993}, intrahash = {67e384a9169fc00870aba77c73ab8502}, keywords = {}, school = {Uni}, timestamp = {2023-12-12T19:01:51.000+0100}, title = {Static detection of software errors: precise and scalable algorithms for automatic detection of software errors}, year = 2006 }