BibTeX record journals/eatcs/DAntoniWWA15

download as .bib file

@article{DBLP:journals/eatcs/DAntoniWWA15,
  author       = {Loris D'Antoni and
                  Matthew Weavery and
                  Alexander Weinert and
                  Rajeev Alur},
  title        = {Automata Tutor and what we learned from building an online teaching
                  tool},
  journal      = {Bull. {EATCS}},
  volume       = {117},
  year         = {2015},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/365},
  timestamp    = {Fri, 12 Feb 2021 13:39:57 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/DAntoniWWA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics