Daniel Dercks

DD

6

Publications

513

Citations

6

H-Index

2017

Active since

Affiliations

Daniel Dercks is an author at Universität Hamburg specializing in engineering, formal verification, and automated reasoning.

Publications per year

2017–2019

6

Publications

6