Publications in collaboration with researchers from Instituto IMDEA Software (1)

2012

  1. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318