{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:36:24Z","timestamp":1763458584829,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,2,17]],"date-time":"2017-02-17T00:00:00Z","timestamp":1487289600000},"content-version":"vor","delay-in-days":366,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1161916, CCF-1162331, DUE-0942542, and DUE-1022941"],"award-info":[{"award-number":["CCF-1161916, CCF-1162331, DUE-0942542, and DUE-1022941"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,2,17]]},"DOI":"10.1145\/2839509.2844657","type":"proceedings-article","created":{"date-parts":[[2016,2,22]],"date-time":"2016-02-22T08:18:49Z","timestamp":1456129129000},"page":"160-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Panel"],"prefix":"10.1145","author":[{"given":"Gregory","family":"Kulczycki","sequence":"first","affiliation":[{"name":"Virginia Tech, Falls Church, SC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murali","family":"Sitaraman","sequence":"additional","affiliation":[{"name":"Clemson University, Clemson, SC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nigamanth","family":"Sridhar","sequence":"additional","affiliation":[{"name":"Cleveland State University, Cleveland, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce W.","family":"Weide","sequence":"additional","affiliation":[{"name":"The Ohio State University, Columbus, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0154-3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227243"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"Drachova S. V. Hallstrom J. O. Hollingsworth J. E. Krone J. Pak R. and Sitaraman M.. 2015. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Computing Education 15 3 Article 15 (August 2015) 22 pages. DOI=10.1145\/2716316 http:\/\/doi.acm.org\/10.1145\/2716316 10.1145\/2716316","DOI":"10.1145\/2716316"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSEET.2013.6595254"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2667062.2667070"},{"key":"e_1_3_2_1_6_1","volume-title":"Pearson","author":"Liskov B.","year":"2000","unstructured":"Liskov, B. and Guttag, J., Program Development in Java, Pearson, 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"http:\/\/rise4fun.com\/Dafny\/tutorial (5","author":"Dafny Tutorial","year":"2014","unstructured":"Dafny Tutorial, http:\/\/rise4fun.com\/Dafny\/tutorial (5 Sept 2014)"},{"key":"e_1_3_2_1_8_1","unstructured":"Baldwin D. \"Math-thinking-l -- Mathematical reasoning in CS curricula\" at: http:\/\/mail.geneseo.edu\/mailman\/listinfo\/math-thinking"}],"event":{"name":"SIGCSE '16: The 47th ACM Technical Symposium on Computing Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Memphis Tennessee USA","acronym":"SIGCSE '16"},"container-title":["Proceedings of the 47th ACM Technical Symposium on Computing Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2839509.2844657","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2839509.2844657","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2839509.2844657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:32:27Z","timestamp":1763458347000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2839509.2844657"}},"subtitle":["Engage in Reasoning with Tools"],"short-title":[],"issued":{"date-parts":[[2016,2,17]]},"references-count":8,"alternative-id":["10.1145\/2839509.2844657","10.1145\/2839509"],"URL":"https:\/\/doi.org\/10.1145\/2839509.2844657","relation":{},"subject":[],"published":{"date-parts":[[2016,2,17]]},"assertion":[{"value":"2016-02-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}