A Mobile Application for Self-Guided Study of Formal Reasoning.

David M. Cerna Rafael P. D. Kiesel Alexandra Dzhiganskaya

Published in: ThEdu@CADE (2019)

Keyphrases

mobile applications
knowledge base
learning environment
empirical studies
formal specification
formal models