A Transactional Correctness Tool for Abstract Data Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christina Peterson, Damian Dechev. A Transactional Correctness Tool for Abstract Data Types. TACO, 14(4), 2017. [doi]

@article{PetersonD17,
  title = {A Transactional Correctness Tool for Abstract Data Types},
  author = {Christina Peterson and Damian Dechev},
  year = {2017},
  doi = {10.1145/3148964},
  url = {http://doi.acm.org/10.1145/3148964},
  researchr = {https://researchr.org/publication/PetersonD17},
  cites = {0},
  citedby = {0},
  journal = {TACO},
  volume = {14},
  number = {4},
}

runs on WebDSL