mi.ki

https://formal.kastel.kit.edu/~kirsten [email protected]

Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany Researcher in formal methods @kastel-security. (he/him)

Results 0 repositories owned by


                                            mi.ki