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

Bookmark the permalink.

About Alejandro Díaz-Caro

Investigador @ ICC (UBA/CONICET) Profesor @ UNQ