About us
Define
Definitions for
"abstract value a"
a set of abstract constants and abstract closures
citeseer.ifi.unizh.ch