Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic. Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. In Maria-Iuliana Dascalu, Ondrej Rysavý, Constanta-Nicoleta Bodea, Moshe Goldstein, Miodrag Dukic, editors, Proceedings of the 6th Conference on the Engineering of Computer Based Systems, ECBS 2019, Bucharest, Romania, September 2-3, 2019. ACM, 2019. [doi]
@inproceedings{PopovicPGK19,
title = {Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model},
author = {Miroslav Popovic and Marko Popovic and Silvia Ghilezan and Branislav Kordic},
year = {2019},
doi = {10.1145/3352700.3352706},
url = {https://doi.org/10.1145/3352700.3352706},
researchr = {https://researchr.org/publication/PopovicPGK19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 6th Conference on the Engineering of Computer Based Systems, ECBS 2019, Bucharest, Romania, September 2-3, 2019},
editor = {Maria-Iuliana Dascalu and Ondrej Rysavý and Constanta-Nicoleta Bodea and Moshe Goldstein and Miodrag Dukic},
publisher = {ACM},
isbn = {978-1-4503-7636-5},
}