Implications of a Data Structure Consistency Checking System

Kuncak, ViktorLam, PatrickZee, KarenRinard, Martin2007-08-212007-08-212007-08-212005https://infoscience.epfl.ch/handle/20.500.14299/10386Implications of a Data Structure Consistency Checking Systemtext::conference output::conference proceedings::conference paper