@inproceedings{DBLP:conf/sefm/Muhlberg0DLP15,
  author    = {Jan Tobias M{\"{u}}hlberg and
               David H. White and
               Mike Dodds and
               Gerald L{\"{u}}ttgen and
               Frank Piessens},
  title     = {Learning Assertions to Verify Linked-List Programs},
  booktitle = {{SEFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9276},
  pages     = {37--52},
  publisher = {Springer},
  year      = {2015}
}

{"_id":"4Me6RHAS76i7YAmBv","bibbaseid":"mhlberg-white-dodds-lttgen-piessens-learningassertionstoverifylinkedlistprograms-2015","downloads":0,"creationDate":"2018-08-29T13:17:52.134Z","title":"Learning Assertions to Verify Linked-List Programs","author_short":["Mühlberg, J. T.","White, D. H.","Dodds, M.","Lüttgen, G.","Piessens, F."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jan","Tobias"],"propositions":[],"lastnames":["Mühlberg"],"suffixes":[]},{"firstnames":["David","H."],"propositions":[],"lastnames":["White"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Dodds"],"suffixes":[]},{"firstnames":["Gerald"],"propositions":[],"lastnames":["Lüttgen"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"title":"Learning Assertions to Verify Linked-List Programs","booktitle":"SEFM","series":"Lecture Notes in Computer Science","volume":"9276","pages":"37–52","publisher":"Springer","year":"2015","bibtex":"@inproceedings{DBLP:conf/sefm/Muhlberg0DLP15,\n author = {Jan Tobias M{\\\"{u}}hlberg and\n David H. White and\n Mike Dodds and\n Gerald L{\\\"{u}}ttgen and\n Frank Piessens},\n title = {Learning Assertions to Verify Linked-List Programs},\n booktitle = {{SEFM}},\n series = {Lecture Notes in Computer Science},\n volume = {9276},\n pages = {37--52},\n publisher = {Springer},\n year = {2015}\n}\n\n","author_short":["Mühlberg, J. T.","White, D. H.","Dodds, M.","Lüttgen, G.","Piessens, F."],"key":"DBLP:conf/sefm/Muhlberg0DLP15","id":"DBLP:conf/sefm/Muhlberg0DLP15","bibbaseid":"mhlberg-white-dodds-lttgen-piessens-learningassertionstoverifylinkedlistprograms-2015","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["learning","assertions","verify","linked","list","programs","mühlberg","white","dodds","lüttgen","piessens"],"keywords":[],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}