Gilezan, Silvia

Network Lab View Statistics Email Alert RSS Feed

Publications

Refined By:
Date Issued:  [2010 TO 2019]
Author:  Popović, Miroslav

Results 1-2 of 2 (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 
21-Jan-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia