@inproceedings{DBLP:conf/ifm/BlomDHO17,
  author    = {Stefan Blom and Saeed Darabi and Marieke Huisman and Wytse Oortwijn},
  title     = {The VerCors Tool Set: Verification of Parallel and Concurrent Software},
  booktitle = {{IFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10510},
  pages     = {102--110},
  publisher = {Springer},
  year      = {2017},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-66845-1_7}
}

{"_id":"ukDzX7CW5eLz9Dmhs","bibbaseid":"blom-darabi-huisman-oortwijn-thevercorstoolsetverificationofparallelandconcurrentsoftware-2017","authorIDs":["5d14be645b939dee01000058","5d19efc3dc4782da010004c4"],"author_short":["Blom, S.","Darabi, S.","Huisman, M.","Oortwijn, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Saeed"],"propositions":[],"lastnames":["Darabi"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Wytse"],"propositions":[],"lastnames":["Oortwijn"],"suffixes":[]}],"title":"The VerCors Tool Set: Verification of Parallel and Concurrent Software","booktitle":"IFM","series":"Lecture Notes in Computer Science","volume":"10510","pages":"102–110","publisher":"Springer","year":"2017","url":"https://link.springer.com/chapter/10.1007/978-3-319-66845-1_7","bibtex":"@inproceedings{DBLP:conf/ifm/BlomDHO17,\n author = {Stefan Blom and Saeed Darabi and Marieke Huisman and Wytse Oortwijn},\n title = {The VerCors Tool Set: Verification of Parallel and Concurrent Software},\n booktitle = {{IFM}},\n series = {Lecture Notes in Computer Science},\n volume = {10510},\n pages = {102--110},\n publisher = {Springer},\n year = {2017},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-66845-1_7}\n}\n\n","author_short":["Blom, S.","Darabi, S.","Huisman, M.","Oortwijn, W."],"key":"DBLP:conf/ifm/BlomDHO17","id":"DBLP:conf/ifm/BlomDHO17","bibbaseid":"blom-darabi-huisman-oortwijn-thevercorstoolsetverificationofparallelandconcurrentsoftware-2017","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-66845-1_7"},"metadata":{"authorlinks":{}},"downloads":5,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.092Z","downloads":5,"keywords":[],"search_terms":["vercors","tool","set","verification","parallel","concurrent","software","blom","darabi","huisman","oortwijn"],"title":"The VerCors Tool Set: Verification of Parallel and Concurrent Software","year":2017,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}