OREGON STATE UNIVERSITY

You are here

Biblio

Found 1 results
Filters: Author is Bocchino, Robert  [Clear All Filters]
2009
Vakilian, M., D. Dig, R. Bocchino, J. Overbey, V. Adve, and R. Johnson, "Inferring Method Effect Summaries for Nested Heap Regions", 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), Auckland, New Zealand, IEEE, pp. 421 - 432, 11/2009.