Parametric Shape Analysis via 3-Valued Logic (1999)

by Mooly Sagiv , Thomas Reps , Reinhard Wilhelm
Citations:539 - 71 self

Document Versions

Parametric Shape Analysis via 3-Valued Logic –Mooly Sagiv, Thomas Reps, Reinhard Wilhelm — 1999
Parametric Shape Analysis via 3-Valued Logic –Mooly Sagiv, Thomas Reps, Reinhard Wilhelm — 1999
Parametric Shape Analysis via 3-Valued Logic –Mooly Sagiv, Thomas Reps, Reinhard Wilhelm — 1999
Parametric Shape Analysis via 3-Valued Logic –Mooly Sagiv, Thomas Reps, Reinhard Wilhelm — 1999 — ACM TOPLAS
Parametric Shape Analysis via 3-Valued Logic –Mooly Sagiv, Thomas Reps, Reinhard Wilhelm — 1999 — ACM TOPLAS
Parametric Shape Analysis via 3-Valued Logic –Mooly Sagiv, Thomas Reps, reinhard Wilhelm — 1999