@inproceedings{DBLP:conf/fm/BlomH14,
  author    = {Stefan Blom and Marieke Huisman},
  title     = {The VerCors Tool for Verification of Concurrent Programs},
  booktitle = {{FM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  pages     = {127--131},
  publisher = {Springer},
  year      = {2014},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-06410-9_9}
}

{"_id":"RN6AYQ3SgMLfh8Fdf","bibbaseid":"blom-huisman-thevercorstoolforverificationofconcurrentprograms-2014","authorIDs":["5d14be645b939dee01000058"],"author_short":["Blom, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"The VerCors Tool for Verification of Concurrent Programs","booktitle":"FM","series":"Lecture Notes in Computer Science","volume":"8442","pages":"127–131","publisher":"Springer","year":"2014","url":"https://link.springer.com/chapter/10.1007/978-3-319-06410-9_9","bibtex":"@inproceedings{DBLP:conf/fm/BlomH14,\n author = {Stefan Blom and Marieke Huisman},\n title = {The VerCors Tool for Verification of Concurrent Programs},\n booktitle = {{FM}},\n series = {Lecture Notes in Computer Science},\n volume = {8442},\n pages = {127--131},\n publisher = {Springer},\n year = {2014},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-06410-9_9}\n}\n\n","author_short":["Blom, S.","Huisman, M."],"key":"DBLP:conf/fm/BlomH14","id":"DBLP:conf/fm/BlomH14","bibbaseid":"blom-huisman-thevercorstoolforverificationofconcurrentprograms-2014","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-06410-9_9"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.117Z","downloads":2,"keywords":[],"search_terms":["vercors","tool","verification","concurrent","programs","blom","huisman"],"title":"The VerCors Tool for Verification of Concurrent Programs","year":2014,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}