The Octahedron Abstract Domain (0)

by R Clarisó, J Cortadella
Venue:Science of Computer Programming