Jarmo Kontinen

JK

5

Publications

174

Citations

5

H-Index

2013

Active since

Affiliations

Jarmo Kontinen is an author at Ruhr University Bochum specializing in automated reasoning, formal methods, and engineering.

Publications per year

2013–2018

5

Publications

5