![Violet Ka I Pun](https://conf.researchr.org/getProfileImage/violetkaipun/45c14409-29e9-4bb8-9d4e-9e478b21ad8c/small.jpg?1726650791000)
Registered user since Thu 9 Jul 2020
Name:Violet Ka I Pun
Affiliation:Western Norway University of Applied Sciences
Personal website: http://violet.foldr.org/
Research interests:Formal methods, programming languages, formal modelling
Contributions
STAF 2023-profile
View general profile
View general profile