GRASShopper - Complete Heap Verification with Mixed Specifications.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Browse the full TACAS paper archive.