Modular Pluggable Analyses for Data Structure Consistency

Kuncak, ViktorLam, PatrickZee, KarenRinard, Martin2007-08-212007-08-212007-08-21200610.1109/TSE.2006.125https://infoscience.epfl.ch/handle/20.500.14299/10396Modular Pluggable Analyses for Data Structure Consistencytext::journal::journal article::research article