Static program analysis via 3valued logic (2004)

by Thomas W Reps, Shmuel Sagiv, Reinhard Wilhelm
Venue:In Proceedings of CAV’04, volume 3114 of LNCS