Verifying Dynamic Pointer-Manipulating Threads.

Thomas Noll, Stefan Rieger

Browse the full FM paper archive.