About Alejandro Díaz-Caro

Investigador @ ICC (UBA/CONICET) Profesor @ UNQ

Verónica Becher gives a highlight talk at joint session of LC and CSL – 20/Aug/17

Verónica Becher gives a highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL’2017 of European Association for Computer Science Logic; Stockholm University, August 20, 2017.

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