J�rg Siekmann

J

J�rg Siekmann

Karlsruhe Institute of Technology(DE)

1

Papers

15

Citations

1

h-index

1

i10-index

J�rg Siekmann is an academic researcher from Karlsruhe Institute of Technology. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Model-Driven Software Engineering Techniques. The author has an h-index of 1, co-authored 1 publications.

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationModel-Driven Software Engineering Techniques

Chat about Author

Papers

Chat

Click to start Chat