conference paper

Modular Pluggable Analyses for Data Structure Consistency

Kuncak, Viktor  orcid-logo
•
Lam, Patrick
•
Zee, Karen
Show more
2004
Monterey Workshop on Software Engineering Tools: Compatibility and Integration