On Verifying Complex Properties using Symbolic Shape Analysis (0)

by Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C Rinard
Venue:CoRR