Lynda Prisco

Javascript disabled: Javascript is disabled in your web browser and this website relies on Javascript to function properly. Please enable Javascript.

Lynda Prisco

Senior Researcher

Centre for Formal Design and Verification of Software, Indian Institute of Technology Bombay

Mumbai, India

Primary