KIT - Anwendungsorientierte Formale Verifikation - Mitarbeiter

Terru Stübinger, M.Sc. Wissenschaftlicher Mitarbeiter / Doktorand
Raum 247, Gebäude 50.34 Tel.: +49 721 608-43859 Fax: +49 721 608-44021 terru stuebingerXwx3∂kit edu	KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland

Terru Stübinger, M.Sc.

Wissenschaftlicher Mitarbeiter / Doktorand

Raum 247, Gebäude 50.34
Tel.: +49 721 608-43859
Fax: +49 721 608-44021
terru stuebingerXwx3∂kit edu

KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland

2024
Titel	Autor(en)	Quelle
Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language	Terru Stübinger und Lars Hupel	26th International Symposium on Formal Methods (FM 2024), Teil II
Go Code Generation for Isabelle	Terru Stübinger und Lars Hupel	Archive of Formal Proofs