Automatic Discovery of Linear Restraints Among Variables of a Program (1978)

Cached

Download Links

by Patrick Cousot , Nicolas Halbwachs
Citations:723 - 46 self