Tesis de maestría Compilación y certificación de código mediante análisis estático de flujo de control y de datos Autor(es): Bavera, Francisco
Fecha de publicación: 2006
Institución: Universidad de la República