%0 Conference Paper %1 conf/iticse/CookFHHSSS18 %A Cook, Michelle %A Fowler, Megan %A Hallstrom, Jason O. %A Hollingsworth, Joseph E. %A Schwab, Tim %A Sun, Yu-Shan %A Sitaraman, Murali %B ITiCSE %D 2018 %E Polycarpou, Irene %E Read, Janet C. %E Andreou, Panayiotis %E Armoni, Michal %I ACM %K dblp %P 39-44 %T Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. %U http://dblp.uni-trier.de/db/conf/iticse/iticse2018.html#CookFHHSSS18 %@ 978-1-4503-5707-4

@inproceedings{conf/iticse/CookFHHSSS18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Cook, Michelle and Fowler, Megan and Hallstrom, Jason O. and Hollingsworth, Joseph E. and Schwab, Tim and Sun, Yu-Shan and Sitaraman, Murali}, biburl = {https://www.bibsonomy.org/bibtex/2e3aa559309be2c7b23d29d89eacce0b7/dblp}, booktitle = {ITiCSE}, crossref = {conf/iticse/2018}, editor = {Polycarpou, Irene and Read, Janet C. and Andreou, Panayiotis and Armoni, Michal}, ee = {https://doi.org/10.1145/3197091.3197133}, interhash = {d29544b54175dc0c4178b04ab2671588}, intrahash = {e3aa559309be2c7b23d29d89eacce0b7}, isbn = {978-1-4503-5707-4}, keywords = {dblp}, pages = {39-44}, publisher = {ACM}, timestamp = {2024-04-09T15:53:12.000+0200}, title = {Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.}, url = {http://dblp.uni-trier.de/db/conf/iticse/iticse2018.html#CookFHHSSS18}, year = 2018 }