Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yixuan Liu
conf.researchr.org general profile
SANER 2025 profile
Registered user since Wed 13 Dec 2023
Name:
Yixuan Liu
Contributions
2025
SANER
Author of Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction within the Research Papers-track
Share
x
Wed 30 Apr 14:56
