Loading...
conference paper
Hob: A Tool for Verifying Data Structure Consistency
2005
14th International Conference on Compiler Construction (tool demo)
Loading...
Name
LamETAL05HobTool.pdf
Access type
openaccess
Size
31.69 KB
Format
Adobe PDF
Checksum (MD5)
89f3f9531ed7b899b18ddc8cdfc329a0