Jens Keppeler

JK

3

Publications

133

Citations

3

H-Index

2017

Active since

Affiliations

Jens Keppeler is an author at Humboldt-Universität zu Berlin specializing in automated reasoning, engineering, and formal methods.

Publications per year

2017–2018

3

Publications

3