Teme propuse
Coordonator
Prof.univ.dr. Tudor BĂLĂNESCU
Titlu
Specifying and reasoning about concurrent programs in temporal logic
Tip
Disertație
Program
T.A.P.I.
Id
206
Data
11-11-2025 08:20:00
Repartizat
nu