ICST 2024
Mon 27 - Fri 31 May 2024 Canada
Lucas C. Cordeiro

Registered user since Mon 21 Jan 2019

Name:Lucas C. Cordeiro
Country:United Kingdom
Affiliation:University of Manchester, UK and Federal University of Amazonas, Brazil
Research interests:Bounded and Unbounded Model Checking, Automated Software Testing, Program Synthesis and Embedded & Cyber-Physical Systems.


Show activities from other conferences

Using general profile