Maria Christakis - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Wed 7 Jun 2023

Name:Maria Christakis

Country:Austria

Affiliation:TU Wien

Personal website: https://mariachris.github.io/

Contributions

2024

ECOOP

Inductive Predicate Synthesis Modulo Programs

ISSTA

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile