Statistics
Publications
2
Citations
29
H-Index
2
Active since
2014
Affiliations
Henning Günther is an author at Hochschule für Technik und Wirtschaft Dresden – University of Applied Sciences specializing in symbolic execution engines, software engineering, and upper bounds.
Publications per year
2014–2022
2
2
Incremental bounded software model checking
Henning Günther, Georg Weißenbacher · 2014 · 18 citations
1–2 of 2