DMCA

Using static and dynamic escape analysis to enable model reductions in model-checking concurrent object-oriented programs (2003)

by Matthew B. Dwyer , John Hatcliff , Venkatesh Prasad Ranganath
Citations:5 - 2 self