Fakultet tehničkih nauka, Departman za opšte discipline u tehnici

View Statistics Email Alert RSS Feed
Organization name
Fakultet tehničkih nauka, Departman za opšte discipline u tehnici
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Date Issued:  [2010 TO 2019]
Date Issued:  2017
Author:  Gilezan, Silvia

Results 1-3 of 3 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)
131-Aug-2017An approach to formal verification of python software transactional memoryKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija 
29-Oct-2017Characterization of strong normalizability for a sequent lambda calculus with co-controlSanto J.; Gilezan, Silvia 
31-Jan-2017Linked data privacyJakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia