|Original language||English (US)|
|Publisher||Department of Computer Science, New York University|
|State||Published - 2008|
|Name||Technical Report TR2008-910|
Conway, C. L., Dams, D., Namjoshi, K. S., & Barrett, C. (2008). Points-to analysis, conditional soundness, and proving the absence of errors. (Technical Report TR2008-910). Department of Computer Science, New York University.