Validation of Mobile Code under Transformations

Technical Report, Indian Institute of Technology, New Delhi, India

Publication date: January 31, 2005

A. Chaudhuri, S. Prasad