Trace partitioning in abstract interpretation based static analyzer (2005)

by L Mauborgne, X Rival
Venue:In Proc. of the 14th European Symp. on Programming (ESOP’05), volume 3444 of LNCS