| Title: | An approach to formal verification of python software transactional memory |
Authors: | Kordić, Branislav   ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija |
Issue Date: | 2017 |
Publication: | ACM International Conference Proceeding Series |
Publisher: | Association for Computing Machinery |
Type: | Conference Paper |
ISBN: | 978-1-450-34843-0  Search Idenfier |
DOI: | 10.1145/3123779.3123788 |
WoS-ID: | 000434851300013 |
Scopus-ID: | 2-s2.0-85030326067 |
URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2581
https://enauka.gov.rs/handle/123456789/456256 |
Project: | Software and tools for multi-core systems
Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Secretary of Science and Technology Development of the Province of Vojvodina, Grant 114-451-1074/2014-03 |
Metadata source: | Migracija |
Availability note: | Подаци и/или пуни текст су непотпуни |
M-category: | |
