About Alejandro Díaz-Caro

Investigador Asistente @ CONICET and Profesor Adjunto @ UNQ

Recent publications of the team “Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems”

Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis in Korea -24-27/Jul/17

Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, July 24 – 27, 2017