Sciweavers

ESOP
2005
Springer

Trace Partitioning in Abstract Interpretation Based Static Analyzers

14 years 5 months ago
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Laurent Mauborgne, Xavier Rival
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESOP
Authors Laurent Mauborgne, Xavier Rival
Comments (0)