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.
|ASE 2019||Committee Member in Program Committee within the Research Papers-track|
|Show activities from other conferences|