Personal Information
Organization / Workplace
Bucharest Romania
Occupation
Professor
Website
About
Doing research in formal methods for software engineering
Contact Details
Tags
search-based testing
test generation
deploy
model-based testing
event-b
formal methods
alin stefanescu
uml
slides
phd slides
See more
Users being followed by Alin Stefanescu
CISPA Helmholtz Center for Information Security
Professor at CISPA Helmholtz Center for Informa...
•