Formal Methods in Verification
1 works
M
Markus Fleischmann
TU Wien(AT)
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.
1
Papers
2
Citations
1
h-index
0
i10-index
Markus Fleischmann is an academic researcher from TU Wien. The author has contributed to research in topics: Formal Methods in Verification & Software Testing and Debugging Techniques & Software Reliability and Analysis Research. The author has an h-index of 1, co-authored 1 publications.
ORCID: 0009-0001-7072-8908Research topics
topicsChat about Author
Papers
Chat
Click to start Chat