An Application of Interval Analysis in Software Static Analysis | IEEE Conference Publication | IEEE Xplore