Dmitry Tsitelov

Registered user since Mon 20 Jan 2020

Name:Dmitry Tsitelov
Country:Russia
Affiliation:Devexperts
Research interests:Software Verification, Concurrency

Contributions