Publication

Hob: A Tool for Verifying Data Structure Consistency