Yawen Wang, Yunzhan Gong, Junliang Chen, Qing Xiao, Zhaohong Yang. An Application of Interval Analysis in Software Static Analysis. In Cheng-Zhong Xu, Minyi Guo, editors, 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops. pages 367-372, IEEE Computer Society, 2008. [doi]
Abstract is missing.