HAL-Inria | Publications, software ... of Inria's scientists |
Michael Backes 1
Author Employer institution : IBM
Anupam Datta 2
Author Employer institution : Stanford University
Ante Derek 2
Author Employer institution : Stanford University
John C. Mitchell 2
Author Employer institution : Stanford University
Mathieu Turuani 3
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
INRIA | CNRS | UNIV-FCOMTE | INRIA2 | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE | LORIA-FM