Login / Signup
Using Small-Step Refinement For Algorithm Verification In Computer Science Education.
Danijela Petrovic
Published in:
CICM Workshops (2014)
Keyphrases
</>
learning algorithm
hill climbing
mobile devices
learning systems