Concepedia

Daniel Kröning

DK

Statistics

Publications

1

Citations

90

H-Index

1

Active since

2006

Affiliations

IBM (Germany)(Current)

Daniel Kröning is an author at IBM (Germany) specializing in comparative literature, existentialism, and humanities.

Top concepts

Publications per year

2006–2006

1

Publications

1

Putting it all together – Formal verification of the VAMP

Sven Beyer, Christian Jacobi, Daniel Kröning et al. · International Journal on Software Tools for Technology Transfer · 2006 · 90 citations · Full text

, , +6

1–1 of 1