Autor: Rustan M. Leino, K.
Cargando...
E-mails conocidos
leino@microsoft.com
Fecha de nacimiento
Puesto de trabajo
Apellidos
Rustan M. Leino
Nombre de pila
K.
Nombre
Nombres alternativos
Afiliaciones conocidas
Microsoft Research
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor