Trace Partitioning in Abstract Interpretation Based Static Analyzers

Mauborgne, Laurent, Rival, Xavier·2005·Lecture Notes in Computer Science
DOI 10.1007/978-3-540-31987-0_2