![Boris Shingarov](https://conf.researchr.org/getProfileImage/borisshingarov/5df65224-422c-4d57-841c-8bbf1a065cc3/small.jpg?1712070380000)
Registered user since Wed 18 Sep 2019
Name:Boris Shingarov
Country:Canada
Affiliation:LabWare
Research interests:Virtual Machines, Formal Verification
Contributions
SPLASH 2019-profile
View general profile
View general profile
Registered user since Wed 18 Sep 2019
Contributions