Downloads
People
Peli de Halleux
Principal RSDE
Sriram Rajamani
Corporate Vice President and Managing Director, Microsoft Research India Lab
Thomas Ball
Partner Researcher
Tony Hoare
Emeritus Researcher
Principal RSDE
Corporate Vice President and Managing Director, Microsoft Research India Lab
Partner Researcher
Emeritus Researcher