ECOOP and ISSTA 2023 (series) / Andrew K. Hirsch
Registered user since Tue 25 Oct 2022
Name:Andrew K. Hirsch
Country:United States
Affiliation:University at Buffalo
Contributions
| ECOOP 2023 | Semantics for Noninterference with Interaction Trees | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile