Not registered as user yet

Name:Alan Khoja
Affiliation:University of Konstanz

Contributions

ProLaLa 2023 Formal Modeling and Analysis of Legal Contracts using ContractCheck
Show activities from other conferences

POPL 2023-profile
View general profile