The octagon abstract domain (2001)

by Antoine Miné , École Normale Supérieure
Venue:In AST 2001 in WCRE 2001, IEEE
Citations:308 - 24 self