"HIPimm: verifying granular immutability guarantees."

Andreea Costea, Asankhaya Sharma, Cristina David (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics