TY  - RPRT
TI  - A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
AU  - David G. Wonnacott
AU  - Peter-Michael Osera
PY  - 2019
UR  - https://arxiv.org/abs/1907.04134
ID  - 1907.04134
ER  -