External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An approach to formal verification of python software transactional memory

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]

Authors

Branislav Kordic

This author has not been identified. Look up 'Branislav Kordic' in Google

Miroslav Popovic

This author has not been identified. Look up 'Miroslav Popovic' in Google

Silvia Ghilezan

This author has not been identified. Look up 'Silvia Ghilezan' in Google

Ilija Basicevic

This author has not been identified. Look up 'Ilija Basicevic' in Google
runs on