NWPT 2023 - 34th Nordic Workshop on Programming Theory (series) / Crystal Chang Din
![Crystal Chang Din](https://conf.researchr.org/getProfileImage/crystalchangdin/8b968262-8eac-4515-ba63-4d862de59aeb/small.jpg?1711540729000)
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
NWPT 2023 - 34th Nordic Workshop on Programming Theory -profile
View general profile
View general profile