Stübinger, T., & Hupel, L. (2023). Extending Isabelle/HOL's Code Generator with support for the Go programming language.
Style de citation Chicago (17e éd.)Stübinger, Terru, et Lars Hupel. Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. 2023.
Style de citation MLA (9e éd.)Stübinger, Terru, et Lars Hupel. Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.