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