Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Lucas C. Cordeiro

Registered user since Mon 21 Jan 2019

Name: Lucas C. Cordeiro

Country: United Kingdom

Affiliation: University of Manchester

Personal website:

Research interests: Bounded and Unbounded Model Checking, Automated Software Testing, Program Synthesis and Embedded & Cyber-Physical Systems.


ASE 2019Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

ASE 2019-profile
View general profile