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
207
Data
11-11-2025 08:20:00
Repartizat
nu