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