The Octagon abstract domain (2006)

by A Miné
Venue:HOSC