Bruno Farias - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Wed 7 Feb 2024

Name:Bruno Farias

Affiliation:University of Manchester

Contributions

2024

ECOOP/ISSTA

ESBMC-Python: A Bounded Model Checker for Python Programs

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile