Crystal Chang Din

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