The octahedron abstract domain (2004)

by Robert Clarisó , Jordi Cortadella
Venue:In Static Analysis Symposium (2004
Citations:43 - 1 self