Research output: Contribution to conference › Paper
}
TY - CONF
T1 - Understanding and use of proof
AU - Archer, Rosa
PY - 2009
Y1 - 2009
M3 - Paper
ER -