DMCA

Accurate invariant checking for programs manipulating lists and arrays with infinite data (2011)

by A. Bouajjani , C. Enea , M. Sighireanu
Citations:8 - 0 self