Export: Certificate size reduction in abstraction-carrying code
Albert Albiol, Elvira and Arenas Sánchez, Purificación and 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: