@phdthesis{Chen10phd,
   author  = {Liqian Chen},
   title   = {Sound floating-point and non-convex static analysis using interval linear abstract domain},
   school  = {National University of Defense Technology},
   address = {Changsha, China},
   month   = {April},
   year    = {2010},
}