@inproceedings{ARCADE2017:24_Challenges_in_Deductive,
  author    = {Reiner H\textbackslash{}"ahnle and Marieke Huisman},
  title     = {24 Challenges in Deductive Software Verification},
  booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
  editor    = {Giles Reger and Dmitriy Traytel},
  series    = {EPiC Series in Computing},
  volume    = {51},
  pages     = {37--41},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kdZ7},
  doi       = {10.29007/j2cm}
  }

{"_id":"C6jxJCAfbdouDGMxm","bibbaseid":"hahnle-huisman-24challengesindeductivesoftwareverification-2017","author_short":["H\\\"ahnle, R.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Reiner"],"propositions":[],"lastnames":["H\\\"ahnle"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"24 Challenges in Deductive Software Verification","booktitle":"ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements","editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"series":"EPiC Series in Computing","volume":"51","pages":"37–41","year":"2017","publisher":"EasyChair","bibsource":"EasyChair, https://easychair.org","issn":"2398-7340","url":"https://easychair.org/publications/paper/kdZ7","doi":"10.29007/j2cm","bibtex":"@inproceedings{ARCADE2017:24_Challenges_in_Deductive,\n author = {Reiner H\\textbackslash{}\"ahnle and Marieke Huisman},\n title = {24 Challenges in Deductive Software Verification},\n booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},\n editor = {Giles Reger and Dmitriy Traytel},\n series = {EPiC Series in Computing},\n volume = {51},\n pages = {37--41},\n year = {2017},\n publisher = {EasyChair},\n bibsource = {EasyChair, https://easychair.org},\n issn = {2398-7340},\n url = {https://easychair.org/publications/paper/kdZ7},\n doi = {10.29007/j2cm}\n }\n \n","author_short":["H\\\"ahnle, R.","Huisman, M."],"editor_short":["Reger, G.","Traytel, D."],"key":"ARCADE2017:24_Challenges_in_Deductive","id":"ARCADE2017:24_Challenges_in_Deductive","bibbaseid":"hahnle-huisman-24challengesindeductivesoftwareverification-2017","role":"author","urls":{"Paper":"https://easychair.org/publications/paper/kdZ7"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["challenges","deductive","software","verification","h\\\"ahnle","huisman"],"title":"24 Challenges in Deductive Software Verification","year":2017,"downloads":1}