The octagon abstract domain (2001)

by A Miné
Venue:In AST 2001 in WCRE 2001, IEEE