@inproceedings{HuismanM21,
  author    = {Marieke Huisman and
               Ra{\'{u}}l E. Monti},
  title     = {Teaching Design by Contract using Snap!},
  booktitle = {3rd International Workshop on Software Engineering Education for the
               Next Generation, SEENG@ICSE 2021, Madrid, Spain, May 24, 2021},
  pages     = {1--5},
  publisher = {{IEEE}},
  year      = {2021},
  url       = {https://doi.org/10.1109/SEENG53126.2021.00007},
  doi       = {10.1109/SEENG53126.2021.00007},
  timestamp = {Thu, 14 Oct 2021 09:56:38 +0200},
  biburl    = {https://dblp.org/rec/conf/icse-seeng/HuismanM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mzjhRiqY4w3PnsWnG","bibbaseid":"huisman-monti-teachingdesignbycontractusingsnap-2021","author_short":["Huisman, M.","Monti, R. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Raúl","E."],"propositions":[],"lastnames":["Monti"],"suffixes":[]}],"title":"Teaching Design by Contract using Snap!","booktitle":"3rd International Workshop on Software Engineering Education for the Next Generation, SEENG@ICSE 2021, Madrid, Spain, May 24, 2021","pages":"1–5","publisher":"IEEE","year":"2021","url":"https://doi.org/10.1109/SEENG53126.2021.00007","doi":"10.1109/SEENG53126.2021.00007","timestamp":"Thu, 14 Oct 2021 09:56:38 +0200","biburl":"https://dblp.org/rec/conf/icse-seeng/HuismanM21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{HuismanM21,\n author = {Marieke Huisman and\n Ra{\\'{u}}l E. Monti},\n title = {Teaching Design by Contract using Snap!},\n booktitle = {3rd International Workshop on Software Engineering Education for the\n Next Generation, SEENG@ICSE 2021, Madrid, Spain, May 24, 2021},\n pages = {1--5},\n publisher = {{IEEE}},\n year = {2021},\n url = {https://doi.org/10.1109/SEENG53126.2021.00007},\n doi = {10.1109/SEENG53126.2021.00007},\n timestamp = {Thu, 14 Oct 2021 09:56:38 +0200},\n biburl = {https://dblp.org/rec/conf/icse-seeng/HuismanM21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Huisman, M.","Monti, R. E."],"key":"HuismanM21","id":"HuismanM21","bibbaseid":"huisman-monti-teachingdesignbycontractusingsnap-2021","role":"author","urls":{"Paper":"https://doi.org/10.1109/SEENG53126.2021.00007"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["teaching","design","contract","using","snap","huisman","monti"],"title":"Teaching Design by Contract using Snap!","year":2021,"downloads":2}