Branislav Kordić
LinkedIn:
https://www.linkedin.com/pub/branislav-kordi%C4%87/54/904/57
Naziv rada:
Formalna verifikacija softverske transakcione memorije zasnovane na vremenskim automatima
Datoteka rada:
Mentor:
Prof. dr Miroslav Popović
Godina:
Monday, June 22, 2020
Vrsta rada:
Doktorske teze
