BibTeX record conf/iticse/CernaSSWB20

• > Home > conf/iticse/CernaSSWB20

@inproceedings{DBLP:conf/iticse/CernaSSWB20,
  author       = {David M. Cerna and
                  Martina Seidl and
                  Wolfgang Schreiner and
                  Wolfgang Windsteiger and
                  Armin Biere},
  editor       = {Michail N. Giannakos and
                  Guttorm Sindre and
                  Andrew Luxton{-}Reilly and
                  Monica Divitini},
  title        = {Aiding an Introduction to Formal Reasoning Within a First-Year Logic
                  Course for {CS} Majors Using a Mobile Self-Study App},
  booktitle    = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
                  15-19, 2020},
  pages        = {61--67},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341525.3387409},
  doi          = {10.1145/3341525.3387409},
  timestamp    = {Thu, 23 Jun 2022 19:55:10 +0200},
  biburl       = {https://dblp.org/rec/conf/iticse/CernaSSWB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}