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
211
Data
13-11-2024 00:00:00