BibTeX record conf/kbse/MercerAVS15

• > Home > conf/kbse/MercerAVS15

@inproceedings{DBLP:conf/kbse/MercerAVS15,
  author       = {Eric G. Mercer and
                  Peter Anderson and
                  Nick Vrvilo and
                  Vivek Sarkar},
  editor       = {Myra B. Cohen and
                  Lars Grunske and
                  Michael Whalen},
  title        = {Model Checking Task Parallel Programs Using Gradual Permissions {(N)}},
  booktitle    = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages        = {535--540},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASE.2015.75},
  doi          = {10.1109/ASE.2015.75},
  timestamp    = {Fri, 24 Mar 2023 00:02:37 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/MercerAVS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}