conf.researchr.org / Evgeniy Shishkin
![Evgeniy Shishkin](https://conf.researchr.org/getProfileImage/evgeniyshishikin/b627b851-090c-4221-a8d7-f8538b55401a/small.jpg?1717835471000)
Registered user since Fri 14 Jul 2017
Name:Evgeniy Shishkin
Country:Russia
Affiliation:JSC "InfoTeCS"
Research interests:Formal verification of distributed algorithms
Contributions
Registered user since Fri 14 Jul 2017
Contributions