
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