computer-aided-verification

People

Microsoft names Sriram Rajamani as new MD of India Research Lab

Microsoft announced the appointment of Sriram Rajamani as the new managing director of its India lab

Aug 12, 2016 06:05 IST logo

2 Min read