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

Validation of Mobile Code under Transformations

A. Chaudhuri, S. Prasad