Trace partitioning in abstract interpretation based static analyzers (2005)

View PDF

Download Links

by Laurent Mauborgne , Xavier Rival
Venue:In ESOP
Citations:79 - 11 self