Immutability specification and its applications

Igor Pechtchanski, Vivek Sarkar. Immutability specification and its applications. In José E. Moreira, Geoffrey Fox, Vladimir Getov, editors, Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002. pages 202-211, ACM, 2002. [doi]

Authors

Igor Pechtchanski

This author has not been identified. Look up 'Igor Pechtchanski' in Google

Vivek Sarkar

This author has not been identified. It may be one of the following persons: Look up 'Vivek Sarkar' in Google