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