Combining theorem proving with static analysis for data structure consistency (2004)

by K Zee, P Lam, V Kuncak, M Rinard
Venue:In Int. Workshop on Software Verification and Validation