{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T20:29:21Z","timestamp":1773520161936,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","funder":[{"name":"NSF (National Science Foundation)","award":["CCF-2421977"],"award-info":[{"award-number":["CCF-2421977"]}]},{"name":"NSF (National Science Foundation)","award":["CCF-2421978"],"award-info":[{"award-number":["CCF-2421978"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,18]]},"DOI":"10.1145\/3770761.3777178","type":"proceedings-article","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:18:26Z","timestamp":1770995906000},"page":"1331-1332","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Taste of Formal Methods for Computer Science Students using Jupyter Notebooks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5147-9646","authenticated-orcid":false,"given":"Zack","family":"Fitzsimmons","sequence":"first","affiliation":[{"name":"College of the Holy Cross, Worcester, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5590-5235","authenticated-orcid":false,"given":"Zohair Raza","family":"Hassan","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7115-626X","authenticated-orcid":false,"given":"Edith","family":"Hemaspaandra","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5770-950X","authenticated-orcid":false,"given":"Carlos R.","family":"Rivero","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"425","volume-title":"SIGCSE","author":"Al-Gahmi A.","year":"2022","unstructured":"A. Al-Gahmi, Y. Zhang, and H. Valle. 2022. Jupyter in the classroom: An experience report. In SIGCSE 2022. ACM, Providence, RI, USA, 425-431."},{"key":"e_1_3_2_1_2_1","unstructured":"M. H. Ter Beek M. Broy B. Dongol and E. Sekerinski. 2023. The Role of Formal Methods in Computer Science Education. https:\/\/csed.acm.org\/wp-content\/uploads\/2023\/11\/Formal-Methods-Nov-2023-1.pdf"},{"key":"e_1_3_2_1_3_1","first-page":"337","volume-title":"TACAS","author":"De Moura L.","year":"2008","unstructured":"L. De Moura and N. Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In TACAS 2008. Springer, Budapest, Hungary, 337-340."},{"key":"e_1_3_2_1_4_1","unstructured":"Joint Task Force on Computing Curricula. 2023. Computer Science Curricula 2023 (Version Gamma). https:\/\/csed.acm.org\/wp-content\/uploads\/2023\/09\/Version-Gamma.pdf"}],"event":{"name":"SIGCSE TS 2026:The 57th ACM Technical Symposium on Computer Science Education","location":"St. Louis MO USA","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3770761.3777178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:17:55Z","timestamp":1773508675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3770761.3777178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,17]]},"references-count":4,"alternative-id":["10.1145\/3770761.3777178","10.1145\/3770761"],"URL":"https:\/\/doi.org\/10.1145\/3770761.3777178","relation":{},"subject":[],"published":{"date-parts":[[2026,2,17]]},"assertion":[{"value":"2026-02-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}