Not registered as user yet

Name:Laura Kovács
Country:Austria
Affiliation:TU Wien

Contributions

VMCAI 2023 Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
Show activities from other conferences

POPL 2023-profile
View general profile