Претрага
Резултати
Formal verification of python software transactional memory serializability based on the push/pull semantic model
[2019]
Popovic, Miroslav 
; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav
Filters
By type