Old Web
English
Sign In
Acemap
>
authorDetail
>
Lukas Mentel
Lukas Mentel
Software
Computer engineering
Dead code
Code coverage
Unreachable code
1
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Benchmarking SMT Solvers on Automotive Code
2021
Lukas Mentel
Karsten Scheibler
Felix Winterer
Bernd Becker
Tino Teige
Show All
Source
Cite
Save
Citations (1)
1