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

by Karen Zee , Patrick Lam , Viktor Kuncak , Martin Rinard
Venue:In International Workshop on Software Verification and Validation (SVV 2004
Citations:22 - 16 self