Geneticus Investigation: An Agent-Based Modeling System for Teaching-Learning Hypothetico-Deductive Reasoning in Mendelian genetics | IEEE Conference Publication | IEEE Xplore