DMCA

Verifying Heap-Manipulating Programs in an SMT Framework (2007)

by Zvonimir Rakamarić , Roberto Bruttomesso , Alan J. Hu , Alessandro Cimatti
Citations:12 - 1 self