Tvla: A framework for kleene based static analysis (2000)

by T Lev-Ami, M Sagiv
Venue:In Static Analysis Symposium (SAS