| Naziv: | An approach to formal verification of python software transactional memory |
Autori: | Kordić, Branislav   ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija |
Godina: | 2017 |
Publikacija: | ACM International Conference Proceeding Series |
Izdavač: | Association for Computing Machinery |
Tip rezultata: | Konferencijski rad |
ISBN: | 978-1-450-34843-0  Pretraži identifikator |
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 |
Projekat: | 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 |
Izvor metapodataka: | Migracija |
Napomena o dostupnosti: | Подаци и/или пуни текст су непотпуни |
M-kategorija: | |
