Statistics
Publications
1
Citations
118
H-Index
1
Active since
2014
Affiliations
Uppsala University(Current)
Dennis Felsing is an author at Uppsala University specializing in formal methods, program analysis, and formal specification.
Publications per year
2014–2014
1
1
Automating regression verification
Dennis Felsing, Sarah Grebing, Vladimir Klebanov et al. · 2014 · 118 citations
Rows per page
1–1 of 1