DMCA

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

by Peter Schrammel
Venue:In Static Analysis Symposium
Citations:9 - 4 self