Tu sei qui

Seminari di ricerca

27 luglio 2017
Model checking offers the possibility to automatically verify the correctness of complex systems or...