Statistics
Publications
1
Citations
14
H-Index
1
Active since
2017
Affiliations
University of Freiburg(Current)
Betim Musa is an author at University of Freiburg specializing in software engineering, software verification, and theory of computation.
Publications per year
2017–2017
1
1
Craig vs. Newton in software model checking
Daniel Dietsch, Matthias Heizmann, Betim Musa et al. · 2017 · 14 citations
1–1 of 1