%0 Conference Proceedings %F Jea10 %A Jeannet, Bertrand %T Some Experience on the Software Engineering of Abstract Interpretation Tools %B Int. Workshop on Tools for Automatic Program AnalysiS, TAPAS'2010 %V 267 %N 2 %P 29-42 %S ENTCS %I Elsevier %D 2010