Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Julia Gabet, Nobuko Yoshida. Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). DARTS, 6(2), 2020. [doi]

@article{GabetY20,
  title = {Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact)},
  author = {Julia Gabet and Nobuko Yoshida},
  year = {2020},
  doi = {10.4230/DARTS.6.2.12},
  url = {https://doi.org/10.4230/DARTS.6.2.12},
  researchr = {https://researchr.org/publication/GabetY20},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {6},
  number = {2},
}

runs on WebDSL