ISSTA 2022 (series) / Lucas C. Cordeiro
![Lucas C. Cordeiro](https://conf.researchr.org/getProfileImage/lucasccordeiro1/8d4d3ca1-d294-4105-9647-4c01b36eb2e2/small.jpg?1713977018000)
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
ISSTA 2022-profile
View general profile
View general profile