Petr Rockai

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 25

Top Topics

Temporal Properties

Automated Verification

Top Venues

FM Workshops (1)

Publications