Registered user since Fri 20 Nov 2020
Name:Myungho Lee
Affiliation:Korea University
Contributions
2019
SPLASH
- Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
- Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
- Precise Safety Verification of Smart Contracts
- Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH 2019-profile
View general profile
View general profile