Certificate size reduction in abstraction-carrying code
- Albert, E.
- Arenas, P.
- Puebla, G.
- Hermenegildo, M.
ISSN: 1471-0684, 1475-3081
Ano de publicación: 2012
Volume: 12
Número: 3
Páxinas: 283-318
Tipo: Artigo
ISSN: 1471-0684, 1475-3081
Ano de publicación: 2012
Volume: 12
Número: 3
Páxinas: 283-318
Tipo: Artigo