Parametric Shape Analysis via 3-Valued Logic (1999)

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