Certificate size reduction in abstraction-carrying code
- Albert, E.
- Arenas, P.
- Puebla, G.
- Hermenegildo, M.
ISSN: 1471-0684, 1475-3081
Année de publication: 2012
Volumen: 12
Número: 3
Pages: 283-318
Type: Article
ISSN: 1471-0684, 1475-3081
Année de publication: 2012
Volumen: 12
Número: 3
Pages: 283-318
Type: Article