Puebla Sánchez, Alvaro Germán and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Hermenegildo, Manuel V. (2006). On abstraction-carrying code and certificate-size reduction. In: "EAAI 2006 1st International Workshop on Emerging Applications of Abstract Interpretation", March 26th, 2006, Vienna, Austria.