conference paper

Combining Theorem proving with Static Analysis for Data Structure Consistency

Zee, Karen
•
Lam, Patrick
•
Kuncak, Viktor  
Show more
2004
International Workshop on Software Verification and Validation