Combining Deductive Verification with Shape Analysis.

To Bernier, Yani Ziani, Nikolai Kosmatov, Frdric Loulergue

Browse the full FASE paper archive.