Maksym Poltoratskiy

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Randomly Assigned

Formal Verification

Collaborative Knowledge Construction

University Students

Top Venues

ICTERI Workshops

ICTERI (Revised Selected Papers)

Publications