FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Lucas C. Cordeiro
Lucas C. Cordeiro

Registered user since Mon 21 Jan 2019

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

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile