Formal Methods in Verification
1 works
S
Stephan Holzner
LMU Klinikum(DE)
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
3
Papers
8
Citations
1
h-index
0
i10-index
Stephan Holzner is an academic researcher from LMU Klinikum. The author has contributed to research in topics: Formal Methods in Verification & Software-Defined Networks and 5G & Software Testing and Debugging Techniques. The author has an h-index of 1, co-authored 3 publications.
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat