Deteccion automatica de estructuras de datos basadas en punteros

Tesis doctoral de Corbera Peña Francisco Javier En esta tesis se han desarrollado nuevas tecnicas para el analisis automatico de […]

, , , , ,