Modular Pluggable Analyses for Data Structure Consistency (0)

by Viktor Kuncak, Patrick Lam, Karen Zee, Martin Rinard
Venue:IEEE Trans. Softw. Eng