Where Exactly Are the Difficulties in Reasoning Logically about Code? Experimentation with an Online System

Document Type

Conference Proceeding

Publication Date

2018

DOI Number / ISBN

10.1145/3197091.3197133

External Access URL

https://dl.acm.org/doi/abs/10.1145/3197091.3197133

Share

COinS