Static Program Analysis via 3-Valued Logic (2004)

by Thomas Reps , Mooly Sagiv , Reinhard Wilhelm
Citations:19 - 3 self