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

@phdthesis{xie2006static, added-at = {2016-05-31T14:07:39.000+0200}, author = {Xie, Yichen}, biburl = {https://www.bibsonomy.org/bibtex/267e384a9169fc00870aba77c73ab8502/genealogie}, dnbtitleid = {985243384}, interhash = {1aba40fd8228adeb084de3a2c9a06993}, intrahash = {67e384a9169fc00870aba77c73ab8502}, keywords = {dnb Informatik}, school = {Uni}, timestamp = {2016-05-31T14:07:39.000+0200}, title = {Static detection of software errors: precise and scalable algorithms for automatic detection of software errors}, year = 2006 }