HIPimm: verifying granular immutability guarantees.

Andreea Costea, Asankhaya Sharma, Cristina David

Browse the full PEPM paper archive.