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

by K Zee, P Lam, V Kuncak, M Rinard
Venue:In International Workshop on Software Verification and Validation (SVV 2004