![Evgeniy Shishkin](https://conf.researchr.org/getProfileImage/evgeniyshishikin/f03d2445-d4b5-4b92-9c8c-0bfc07440e92/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
ICFP 2017-profile
View general profile
View general profile
Registered user since Fri 14 Jul 2017
Contributions