Skip to content

Evaluation of Formal Reasoning Abilities Using a Concept Inventory.

Joseph E. Hollingsworth, Murali Sitaraman

VenueBFM
Year2015
ProceedingsFMSEE&T@FM

Browse the full FM paper archive.