Certificate size reduction in abstraction-carrying code
- Albert, E.
- Arenas, P.
- Puebla, G.
- Hermenegildo, M.
ISSN: 1471-0684, 1475-3081
Datum der Publikation: 2012
Ausgabe: 12
Nummer: 3
Seiten: 283-318
Art: Artikel
ISSN: 1471-0684, 1475-3081
Datum der Publikation: 2012
Ausgabe: 12
Nummer: 3
Seiten: 283-318
Art: Artikel