KIT - Application-oriented Formal Verification - Team

Henriette Färber, B.Sc. Fast-Track Student
Room 227, Building 50.34 Phone: +49 721 608-43856 Fax: +49 721 608-44021 ubwtxXwx3∂student kit edu	KIT / Institute of Information Security and Dependability (KASTEL) Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany

Henriette Färber, B.Sc.

Fast-Track Student

Room 227, Building 50.34
Phone: +49 721 608-43856
Fax: +49 721 608-44021
ubwtxXwx3∂student kit edu

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany