Browsing by Author Bašičević, Ilija
Showing results 1 to 1 of 1
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, Ilija | An approach to formal verification of python software transactional memory | 31-Aug-2017 | ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524 |