Trace abstraction modulo probability - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Calvin Smith, Justin Hsu, Aws Albarghouthi. Trace abstraction modulo probability. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

@article{SmithHA19,
  title = {Trace abstraction modulo probability},
  author = {Calvin Smith and Justin Hsu and Aws Albarghouthi},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3290352},
  researchr = {https://researchr.org/publication/SmithHA19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
}

runs on WebDSL