DMCA

Partially Disjunctive Heap Abstraction (2004)

by Roman Manevich , Mooly Sagiv , G. Ramalingam , John Field
Venue:Proceedings of the 11th International Symposium, SAS 2004
Citations:34 - 10 self