research article

Modular Pluggable Analyses for Data Structure Consistency

Kuncak, Viktor  orcid-logo
•
Lam, Patrick
•
Zee, Karen
Show more
2006
IEEE Transactions on Software Engineering