PlandeRecuperación

02/08/2024
Santiago Escobar, miembro del comité de la revista internacional de máximo nivel en seguridad de programas
La publicación científica aborda las áreas de lenguajes, modelos y paradigmas de programación, especificación, análisis y verificación de propiedades de seguridad de los programas y sistemas ciber-físicos