TY  - RPRT
TI  - VeGo: Direct Deductive Formal Verification of Go Programs for Computer Science Education
AU  - Tina Massoudi
AU  - Chris Dutchyn
PY  - 2026
UR  - https://arxiv.org/abs/2608.22630
ID  - 2608.22630
ER  -