Generalized typestate checking for data structure consistency (2005)

by Patrick Lam , Viktor Kuncak , Martin Rinard
Venue:In 6th International Conference on Verification, Model Checking and Abstract Interpretation
Citations:44 - 25 self