DMCA
Automatic Discovery of Linear Restraints Among Variables of a Program (1978)
by
Patrick Cousot
,
Nicolas Halbwachs
Citations: | 725 - 43 self |