MODELS 2023 (series) / Alin Stefanescu
![Alin Stefanescu](https://conf.researchr.org/getProfileImage/alinstefanescu2/3af31d84-033a-4ed1-9906-b3351c1a5477/small.jpg?1712158805000)
Registered user since Wed 7 Jul 2021
Name:Alin Stefanescu
Bio:
Professor
Country:Romania
Affiliation:University of Bucharest
Personal website: http://alin.stefanescu.eu
GitHub: https://github.com/alinstef
Research interests:security, formal methods, testing, industrial research
Contributions
MODELS 2023-profile
View general profile
View general profile