The octagon abstract domain (0)

by A Mine
Venue:In Proc. WCRE'01