Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022

Registered user since Mon 31 Jan 2022

Name:Kunjian Song
Affiliation:The University of Manchester
Research interests:Formal verification

Contributions

ICSE 2022 ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts
Show activities from other conferences

Using general profile