BibTeX record conf/issta/JoostenOSH18

• > Home > conf/issta/JoostenOSH18

@inproceedings{DBLP:conf/issta/JoostenOSH18,
  author       = {Sebastiaan J. C. Joosten and
                  Wytse Oortwijn and
                  Mohsen Safari and
                  Marieke Huisman},
  editor       = {Julian Dolby and
                  William G. J. Halfond and
                  Ashish Mishra},
  title        = {An exercise in verifying sequential programs with VerCors},
  booktitle    = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
                  2018, Amsterdam, Netherlands, July 16-21, 2018},
  pages        = {40--45},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236454.3236479},
  doi          = {10.1145/3236454.3236479},
  timestamp    = {Sat, 19 Oct 2019 20:09:43 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/JoostenOSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}