@inproceedings{DBLP:conf/pdp/AmighiBH16,
  author    = {Afshin Amighi and Stefan Blom and Marieke Huisman},
  title     = {VerCors: {A} Layered Approach to Practical Verification of Concurrent
               Software},
  booktitle = {{PDP}},
  pages     = {495--503},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/abstract/document/7445381}
}

{"_id":"2kBBsbAaxu4qykqcR","bibbaseid":"amighi-blom-huisman-vercorsalayeredapproachtopracticalverificationofconcurrentsoftware-2016","authorIDs":["5d14be645b939dee01000058"],"author_short":["Amighi, A.","Blom, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Afshin"],"propositions":[],"lastnames":["Amighi"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"VerCors: A Layered Approach to Practical Verification of Concurrent Software","booktitle":"PDP","pages":"495–503","publisher":"IEEE Computer Society","year":"2016","url":"https://ieeexplore.ieee.org/abstract/document/7445381","bibtex":"@inproceedings{DBLP:conf/pdp/AmighiBH16,\n author = {Afshin Amighi and Stefan Blom and Marieke Huisman},\n title = {VerCors: {A} Layered Approach to Practical Verification of Concurrent\n Software},\n booktitle = {{PDP}},\n pages = {495--503},\n publisher = {{IEEE} Computer Society},\n year = {2016},\n url = {https://ieeexplore.ieee.org/abstract/document/7445381}\n}\n\n","author_short":["Amighi, A.","Blom, S.","Huisman, M."],"key":"DBLP:conf/pdp/AmighiBH16","id":"DBLP:conf/pdp/AmighiBH16","bibbaseid":"amighi-blom-huisman-vercorsalayeredapproachtopracticalverificationofconcurrentsoftware-2016","role":"author","urls":{"Paper":"https://ieeexplore.ieee.org/abstract/document/7445381"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.135Z","downloads":3,"keywords":[],"search_terms":["vercors","layered","approach","practical","verification","concurrent","software","amighi","blom","huisman"],"title":"VerCors: A Layered Approach to Practical Verification of Concurrent Software","year":2016,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}