Instituto IMDEA Software-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2012

  1. Certificate size reduction in abstraction-carrying code

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