Registered user since Thu 25 Mar 2021
Name:Crystal Chang Din
Country:Norway
Affiliation:University of Bergen
Research interests:Formal methods, Software verification, Program analysis, Concurrency
Contributions
| ECOOP 2021 | Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile