Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/hcomp/WalterBCM19
@inproceedings{DBLP:conf/hcomp/WalterBCM19, author = {Andrew T. Walter and Benjamin Boskin and Seth Cooper and Panagiotis Manolios}, editor = {Edith Law and Jennifer Wortman Vaughan}, title = {Gamification of Loop-Invariant Discovery from Code}, booktitle = {Proceedings of the Seventh {AAAI} Conference on Human Computation and Crowdsourcing, {HCOMP} 2019, Stevenson, WA, USA, October 28-30, 2019}, pages = {188--196}, publisher = {{AAAI} Press}, year = {2019}, url = {https://doi.org/10.1609/hcomp.v7i1.5277}, doi = {10.1609/HCOMP.V7I1.5277}, timestamp = {Tue, 05 Sep 2023 11:11:22 +0200}, biburl = {https://dblp.org/rec/conf/hcomp/WalterBCM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.