Inproceedings,

An Application of Interval Analysis in Software Static Analysis.

, , , , and .
EUC (2), page 367-372. IEEE Computer Society, (2008)978-0-7695-3492-3.

Meta data

Tags

Users

  • @dblp

Comments and Reviews