B.: Logico-numerical abstract acceleration and application to the verification of data-flow programs (2011)

by P Schrammel, Jeannet
Venue:In: Static Analysis Symposium. Volume 6887 of LNCS