Aarti Gupta

Digital Library

ACM Fellows

USA - 2017

citation

For contributions to system analysis and verification techniques and their transfer to industrial practice

Press Release