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

Joseph Hollingsworth, Rose-Hulman Institute of Technology
Michelle Cook, false
Megan Fowler, false
Sitaraman Murali

Abstract