Registered user since Sun 15 Jan 2023
Name:Guido Governatori
Affiliation:Singapore Management University
Contributions
| ProLaLa 2023 | Defeasible Semantics for L4 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile