Not registered as user yet

Name:Scott Wesley
Country:Canada
Affiliation:University of Waterloo, Canada

Contributions

VMCAI 2022 Verifying Solidity Smart Contracts Via Communication Abstraction in SmartACE
Show activities from other conferences

POPL 2022-profile
View general profile