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]
Abstract is missing.