%0 Conference Paper %1 conf/sefm/Muhlberg0DLP15 %A Mühlberg, Jan Tobias %A White, David H. %A Dodds, Mike %A Lüttgen, Gerald %A Piessens, Frank %B SEFM %D 2015 %E Calinescu, Radu %E Rumpe, Bernhard %I Springer %K dblp %P 37-52 %T Learning Assertions to Verify Linked-List Programs. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#Muhlberg0DLP15 %V 9276 %@ 978-3-319-22968-3

@inproceedings{conf/sefm/Muhlberg0DLP15, added-at = {2020-10-25T00:00:00.000+0200}, author = {Mühlberg, Jan Tobias and White, David H. and Dodds, Mike and Lüttgen, Gerald and Piessens, Frank}, biburl = {https://www.bibsonomy.org/bibtex/240a2f71eb94971cdcec7d4b33e91b1ef/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2015}, editor = {Calinescu, Radu and Rumpe, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-22969-0_3}, interhash = {bcf0d9b945fb89952d3f6b7026b85c43}, intrahash = {40a2f71eb94971cdcec7d4b33e91b1ef}, isbn = {978-3-319-22968-3}, keywords = {dblp}, pages = {37-52}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:06.000+0200}, title = {Learning Assertions to Verify Linked-List Programs.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2015.html#Muhlberg0DLP15}, volume = 9276, year = 2015 }