On verifying complex properties using symbolic shape analysis (2006)

by Thomas Wies , Viktor Kuncak , Karen Zee , Martin Rinard , Andreas Podelski
Venue:In Workshop on Heap Abstraction and Verification (collocated with ETAPS
Citations:11 - 6 self