Export: Certificate size reduction in abstraction-carrying code

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2010). Certificate size reduction in abstraction-carrying code. "CoRR", v. abs/10 ;

Please select an output format:

Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
Check whether the spanish journal in which you have published an article allows you to also publish it under open access.