Closed and logical relations for over- and under-approximation of powersets (2004)

by D A Schmidt
Venue:In Proc. of the 11th Int. Symp. on Static Analysis (SAS’04