Login / Signup
Svetlana V. Drachova
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Computer Software
Instructor Led
Human Reasoning
Mathematical Proofs
Top Venues
ACM Trans. Comput. Educ.
</>
Publications
</>
Svetlana V. Drachova
,
Jason O. Hallstrom
,
Joseph E. Hollingsworth
,
Joan Krone
,
Richard Pak
,
Murali Sitaraman
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
ACM Trans. Comput. Educ.
15 (3) (2015)