Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Go Code Generation for Isabelle

Journal Article
Author(s):Terru Stübinger and Lars Hupel
Journal:Archive of Formal Proofs
Year:2024
URL:https://www.isa-afp.org/entries/Go.html

Note

Formal proof development

BibTeX

@Article{stuebingerHupel2024b,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  title        = {Go Code Generation for Isabelle},
  journal      = {Archive of Formal Proofs},
  month        = {January},
  year         = {2024},
  note         = {Formal proof development},
  url          = {https://www.isa-afp.org/entries/Go.html},
  issn         = {2150-914x}
}