%0 Journal Article %1 journals/corr/abs-2004-12859 %A Gabet, Julia %A Yoshida, Nobuko %D 2020 %J CoRR %K dblp %T Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-12859 %V abs/2004.12859

@article{journals/corr/abs-2004-12859, added-at = {2020-04-29T00:00:00.000+0200}, author = {Gabet, Julia and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/29de354eb42eb886a76b9b26cf9d57f43/dblp}, ee = {https://arxiv.org/abs/2004.12859}, interhash = {d32d18f1a858020a3df27bcb999361be}, intrahash = {9de354eb42eb886a76b9b26cf9d57f43}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-04-30T11:38:22.000+0200}, title = {Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-12859}, volume = {abs/2004.12859}, year = 2020 }