Parametric Shape Analysis via 3-Valued Logic (1999)

by Mooly Sagiv , Thomas Reps , Reinhard Wilhelm
Citations:587 - 74 self