@inproceedings{DBLP:conf/isola/JoostenH18,
  author    = {Sebastiaan J. C. Joosten and Marieke Huisman},
  title     = {Static Code Verification Through Process Models},
  booktitle = {ISoLA {(3)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11246},
  pages     = {343--354},
  publisher = {Springer},
  year      = {2018},
  url       = {https://link.springer.com/chapter/10.1007%2F978-3-030-03424-5_23}
}

{"_id":"BDqYu99ARFmNKcWeL","bibbaseid":"joosten-huisman-staticcodeverificationthroughprocessmodels-2018","authorIDs":["5d14be645b939dee01000058"],"author_short":["Joosten, S. J. C.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sebastiaan","J.","C."],"propositions":[],"lastnames":["Joosten"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"Static Code Verification Through Process Models","booktitle":"ISoLA (3)","series":"Lecture Notes in Computer Science","volume":"11246","pages":"343–354","publisher":"Springer","year":"2018","url":"https://link.springer.com/chapter/10.1007%2F978-3-030-03424-5_23","bibtex":"@inproceedings{DBLP:conf/isola/JoostenH18,\n author = {Sebastiaan J. C. Joosten and Marieke Huisman},\n title = {Static Code Verification Through Process Models},\n booktitle = {ISoLA {(3)}},\n series = {Lecture Notes in Computer Science},\n volume = {11246},\n pages = {343--354},\n publisher = {Springer},\n year = {2018},\n url = {https://link.springer.com/chapter/10.1007%2F978-3-030-03424-5_23}\n}\n","author_short":["Joosten, S. J. C.","Huisman, M."],"key":"DBLP:conf/isola/JoostenH18","id":"DBLP:conf/isola/JoostenH18","bibbaseid":"joosten-huisman-staticcodeverificationthroughprocessmodels-2018","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007%2F978-3-030-03424-5_23"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.060Z","downloads":0,"keywords":[],"search_terms":["static","code","verification","through","process","models","joosten","huisman"],"title":"Static Code Verification Through Process Models","year":2018,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}