%0 Conference Paper %1 conf/sigcse/GinatA06 %A Ginat, David %A Armoni, Michal %B SIGCSE %D 2006 %E Baldwin, Doug %E Tymann, Paul T. %E Haller, Susan M. %E Russell, Ingrid %I ACM %K dblp %P 469-473 %T Reversing: an essential heuristic in program and proof design. %U http://dblp.uni-trier.de/db/conf/sigcse/sigcse2006.html#GinatA06 %@ 1-59593-259-3

@inproceedings{conf/sigcse/GinatA06, added-at = {2021-03-09T00:00:00.000+0100}, author = {Ginat, David and Armoni, Michal}, biburl = {https://www.bibsonomy.org/bibtex/23dc69f344d8fa11a1e3deb3274daea06/dblp}, booktitle = {SIGCSE}, crossref = {conf/sigcse/2006}, editor = {Baldwin, Doug and Tymann, Paul T. and Haller, Susan M. and Russell, Ingrid}, ee = {https://doi.org/10.1145/1124706.1121488}, interhash = {c9c77eba2f4a5e7012c1b5d7bd88f2cb}, intrahash = {3dc69f344d8fa11a1e3deb3274daea06}, isbn = {1-59593-259-3}, keywords = {dblp}, pages = {469-473}, publisher = {ACM}, timestamp = {2024-04-09T17:40:50.000+0200}, title = {Reversing: an essential heuristic in program and proof design.}, url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2006.html#GinatA06}, year = 2006 }