DMCA

Verifying Linked Data Structure Implementations

by Karen Zee , Viktor Kuncak , Martin Rinard