Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic. An approach to formal verification of python software transactional memory. In Ondrej Rysavy, Valentino Vranic, George Angelos Papadopoulos, editors, Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS 2017, Larnaca, Cyprus, August 31 - September 01, 2017. ACM, 2017. [doi]
@inproceedings{KordicPGB17,
title = {An approach to formal verification of python software transactional memory},
author = {Branislav Kordic and Miroslav Popovic and Silvia Ghilezan and Ilija Basicevic},
year = {2017},
doi = {10.1145/3123779.3123788},
url = {http://doi.acm.org/10.1145/3123779.3123788},
researchr = {https://researchr.org/publication/KordicPGB17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS 2017, Larnaca, Cyprus, August 31 - September 01, 2017},
editor = {Ondrej Rysavy and Valentino Vranic and George Angelos Papadopoulos},
publisher = {ACM},
isbn = {978-1-4503-4843-0},
}