DMCA

Trace partitioning in abstract interpretation based static analyzers (2005)

Cached

Download Links

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