@inproceedings{DBLP:conf/issta/JoostenOSH18,
  author    = {Sebastiaan J. C. Joosten and Wytse Oortwijn and Mohsen Safari and Marieke Huisman},
  title     = {An exercise in verifying sequential programs with VerCors},
  booktitle = {{ISSTA/ECOOP} Workshops},
  pages     = {40--45},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://research.utwente.nl/en/publications/an-exercise-in-verifying-sequential-programs-with-vercors}
}

{"_id":"4u8AxTLQLrpuEdz3Z","bibbaseid":"joosten-oortwijn-safari-huisman-anexerciseinverifyingsequentialprogramswithvercors-2018","authorIDs":["5d14be645b939dee01000058","5d19efc3dc4782da010004c4"],"author_short":["Joosten, S. J. C.","Oortwijn, W.","Safari, M.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sebastiaan","J.","C."],"propositions":[],"lastnames":["Joosten"],"suffixes":[]},{"firstnames":["Wytse"],"propositions":[],"lastnames":["Oortwijn"],"suffixes":[]},{"firstnames":["Mohsen"],"propositions":[],"lastnames":["Safari"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"An exercise in verifying sequential programs with VerCors","booktitle":"ISSTA/ECOOP Workshops","pages":"40–45","publisher":"ACM","year":"2018","url":"https://research.utwente.nl/en/publications/an-exercise-in-verifying-sequential-programs-with-vercors","bibtex":"@inproceedings{DBLP:conf/issta/JoostenOSH18,\n author = {Sebastiaan J. C. Joosten and Wytse Oortwijn and Mohsen Safari and Marieke Huisman},\n title = {An exercise in verifying sequential programs with VerCors},\n booktitle = {{ISSTA/ECOOP} Workshops},\n pages = {40--45},\n publisher = {{ACM}},\n year = {2018},\n url = {https://research.utwente.nl/en/publications/an-exercise-in-verifying-sequential-programs-with-vercors}\n}\n\n","author_short":["Joosten, S. J. C.","Oortwijn, W.","Safari, M.","Huisman, M."],"key":"DBLP:conf/issta/JoostenOSH18","id":"DBLP:conf/issta/JoostenOSH18","bibbaseid":"joosten-oortwijn-safari-huisman-anexerciseinverifyingsequentialprogramswithvercors-2018","role":"author","urls":{"Paper":"https://research.utwente.nl/en/publications/an-exercise-in-verifying-sequential-programs-with-vercors"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.032Z","downloads":0,"keywords":[],"search_terms":["exercise","verifying","sequential","programs","vercors","joosten","oortwijn","safari","huisman"],"title":"An exercise in verifying sequential programs with VerCors","year":2018,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}