scholarly journals Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum

2021 ◽  
Vol 20 (4) ◽  
pp. 533-566
Author(s):  
Megan FOWLER ◽  
Jason HALLSTROM ◽  
Joseph HOLLINGSWORTH ◽  
Eileen KRAEMER ◽  
Murali SITARAMAN ◽  
...  
Sign in / Sign up

Export Citation Format

Share Document