ECOOP 2025 (series) / Volker Stolz
Registered user since Thu 22 Mar 2018
Name:Volker Stolz
Country:Norway
Affiliation:Høgskulen på Vestlandet
Personal website: https://selabhvl.github.io/vsto/
GitHub: https://github.com/VolkerStolz
Research interests:Software Engineering, Formal Methods, Runtime Verification
Contributions
2025
Using general profile