Field constraint analysis (2006)

by T Wies, V Kuncak, P Lam, A Podelski, M Rinard
Venue:In VMCAI 2006