Télécharger
Chargement...
Static Driver Verifier Research Platform
juillet 2010
Personne
Peli de Halleux
Principal Research Software Engineer
Sriram Rajamani
Corporate Vice President, Microsoft Research
Thomas Ball
Partner Researcher
Tony Hoare
Emeritus Researcher