Pulse 탐색 nav.journalClub 토론 트렌드 연구자

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Iwona Grobelna | Synapse

IG

Iwona Grobelna

Formal Methods in Verification

University of Zielona Góra

About

Research focus

Formal Methods in Verification

Impact

78 pubs · 636 cites · h-index 14

Affiliations

Work Experience

University of Zielona Góra

2008 - Present

Silesian University of Technology

2016 - 2016

Publications