Prof.univ.dr. Tudor BĂLĂNESCU Systems and Software Verification: Model-Checking Techn. and Tools Disertație T.A.P.I. 207 11-11-2025 08:20:00 nu