Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language

@InProceedings{stuebingerHupel2024a,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  editor       = {Andr{\'{e}} Platzer and
                  Kristin Yvonne Rozier and
                  Matteo Pradella and
                  Matteo Rossi},
  title        = {Extending Isabelle/HOL's Code Generator with Support for the
                  Go Programming Language},
  booktitle    = {26th International Symposium on Formal Methods ({FM} 2024)},
  venue        = {Milan, Italy},
  series       = {Lecture Notes in Computer Science},
  volume       = {14934},
  part         = {{II}},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2024},
  month        = {sep},
  eventdate    = {2024-09-09/2024-09-13},
  doi          = {10.1007/978-3-031-71177-0_1}
}