conference paper

Hob: A Tool for Verifying Data Structure Consistency

Lam, Patrick
•
Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2005
14th International Conference on Compiler Construction (tool demo)
Loading...
Thumbnail Image
Name

LamETAL05HobTool.pdf

Access type

openaccess

Size

31.69 KB

Format

Adobe PDF

Checksum (MD5)

89f3f9531ed7b899b18ddc8cdfc329a0