Return to Microsoft Research Lab – India

Systems | India

项目

成立:

Angelic verification (AV) brings the ben…

成立:

Seabed is a project to provide analytics…

成立:

The Distributed Social Analytics Platfor…

成立:

Corral is a whole-program analysis tool …