Verifying a Realistic Mutable Hash Table - Case Study (Short Paper).

Samuel Chassot, Viktor Kuncak

Browse the full IJCAR paper archive.