Login / Signup

Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties.

Megan FowlerEileen T. KraemerMurali SitaramanJoseph E. Hollingsworth
Published in: ITiCSE (2021)
Keyphrases