BibTeX record journals/corr/SokolskyZLM16

• > Home > journals/corr/SokolskyZLM16

@inproceedings{DBLP:journals/corr/SokolskyZLM16,
  author       = {Oleg Sokolsky and
                  Teng Zhang and
                  Insup Lee and
                  Michael McDougall},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Monitoring Assumptions in Assume-Guarantee Contracts},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {46--53},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.4},
  doi          = {10.4204/EPTCS.208.4},
  timestamp    = {Thu, 26 Jan 2023 14:05:50 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SokolskyZLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}