Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Terru Stübinger

Terru Stübinger, M.Sc.

Researcher / PhD Student
Room 247, Building 50.34
Phone: +49 721 608-43859
Fax:      +49 721 608-44021
terru stuebingerXwx3∂kit edu
 KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany


Publications

2024
Title Author(s) Source
Extending Isabelle/HOL's Code Generator with Support for the Go Programming LanguageTerru Stübinger and Lars Hupel26th International Symposium on Formal Methods (FM 2024), Part II
Go Code Generation for IsabelleTerru Stübinger and Lars HupelArchive of Formal Proofs