Pretraga
Rezultati
Formal verification of python software transactional memory serializability based on the push/pull semantic model
[2019]
Popovic, Miroslav 
; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav
Filteri
Po tipu