Introducción al análisis estático

Hace una breve introducción al concepto de análisis estático de programas y da dos ejemplos intuitivos de análisis clásicos. Villanueva García, A. (2016). Introducción al análisis estático. http://hdl.handle.net/10251/67349