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 following Alin Stefanescu