Jürgen Dingel Compositional Analysis of C/C++ Programs with VeriSoft. 45-71 2006 43 Acta Inf. 1 http://dx.doi.org/10.1007/s00236-006-0016-x db/journals/acta/acta43.html#Dingel06