Teme propuse
Coordonator
Prof.univ.dr. Tudor BĂLĂNESCU
Titlu
Systems and Software Verification: Model-Checking Techn. and Tools
Tip
Disertație
Program
T.A.P.I.
Id
212
Data
13-11-2024 00:00:00