Análisis y verificación de programas modulares

Tesis doctoral de Jesús Correas Fernández Existe un gran número de técnicas avanzadas de verificación y optimización estática de programas […]

, , , , ,