Concepedia

Daniel Kröning

DK

1

Publications

90

Citations

1

H-Index

2006

Active since

Affiliations

IBM (Germany)(Current)

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

Top concepts

LanguageHumanitiesEngineeringVerificationExistentialismFormal MethodsFormal VerificationComparative Literature

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

– Formal Verification, Humanities, Existentialism +6

Rows per page

1–1 of 1