Publication

Implications of a Data Structure Consistency Checking System