Statistics
Publications
3
Citations
108
H-Index
3
Active since
1999
Affiliations
Washington and Jefferson College(Current)
Amanda M. Holland-Minkley is an author at Washington and Jefferson College specializing in education, instructional design, and computer science.
Publications per year
1999–2016
3
3
Verbalization of high-level formal proofs
Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable · 1999 · 36 citations · Full text
1–3 of 3