Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Lucas C. Cordeiro

Registered user since Mon 21 Jan 2019

Name:Lucas C. Cordeiro
Country:United Kingdom
Affiliation:University of Manchester
Research interests:Bounded and Unbounded Model Checking, Automated Software Testing, Program Synthesis and Embedded & Cyber-Physical Systems.


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

Using general profile