Towards the Integration of Symbolic and Numerical Static Analysis [chapter]

Arnaud Venet
2008 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-69149-5_24 fatcat:cul4tjpxhzfthhcvhjueoxui7m