Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nedas Matulevicius
conf.researchr.org general profile
ICSE 2022 profile
Not registered as user yet
Name:
Nedas Matulevicius
Affiliation:
University of Manchester, UK
Contributions
2022
ICSE
Author of ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts within the DEMO - Demonstrations-track
Share
x
Wed 4 Dec 09:28