Syntactic Program Transformations for Automatic Abstraction (2000)

by K S Namjoshi, R P Kurshan
Venue:Proceedings of the 12th International Conference on Computer-Aided Verification (CAV 2000), volume 1855 of LNCS