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
Tony Hoare
Emeritus Researcher