Search




Research outputs

An approach to formal verification of python software transactional memory   [2017]

Kordić, Branislav  ; Popović, Miroslav  ; Gilezan, Silvia  ; Bašičević, Ilija

Filters

By type