TY  - RPRT
TI  - Extending Isabelle/HOL's Code Generator with support for the Go programming language
AU  - Terru Stübinger
AU  - Lars Hupel
PY  - 2024
DO  - 10.1007/978-3-031-71177-0_1
UR  - https://arxiv.org/abs/2310.02704
ID  - 2310.02704
ER  -