影响力指数
-/100
发表论文1
平均评分3.3
年均产出1.0 篇/年

Henri Hansen

Lecturer@Tampere University·芬兰·OpenReview
研究方向

Formal Methods and Model checking