BibTeX record conf/sigcse/GinatA06

download as .bib file

@inproceedings{DBLP:conf/sigcse/GinatA06,
  author       = {David Ginat and
                  Michal Armoni},
  editor       = {Doug Baldwin and
                  Paul T. Tymann and
                  Susan M. Haller and
                  Ingrid Russell},
  title        = {Reversing: an essential heuristic in program and proof design},
  booktitle    = {Proceedings of the 37th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2006, Houston, Texas, USA, March 3-5, 2006},
  pages        = {469--473},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1121341.1121488},
  doi          = {10.1145/1121341.1121488},
  timestamp    = {Wed, 10 Mar 2021 13:04:38 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/GinatA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics