A.Wallenburg. Flexible immutability with frozen objects (2008)

by K R Leino, P Müller
Venue:In VSTTE ’08: Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments