BibTeX record conf/ecbseerc/PopovicPGK19

• > Home > conf/ecbseerc/PopovicPGK19

@inproceedings{DBLP:conf/ecbseerc/PopovicPGK19,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Silvia Ghilezan and
                  Branislav Kordic},
  editor       = {Maria{-}Iuliana Dascalu and
                  Ondrej Rysav{\'{y}} and
                  Constanta{-}Nicoleta Bodea and
                  Moshe Goldstein and
                  Miodrag Dukic},
  title        = {Formal Verification of Python Software Transactional Memory Serializability
                  Based on the Push/Pull Semantic Model},
  booktitle    = {Proceedings of the 6th Conference on the Engineering of Computer Based
                  Systems, {ECBS} 2019, Bucharest, Romania, September 2-3, 2019},
  pages        = {6:1--6:8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3352700.3352706},
  doi          = {10.1145/3352700.3352706},
  timestamp    = {Sun, 25 Oct 2020 22:40:35 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbseerc/PopovicPGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}