Alin Stefanescu
13
Followers
Personal Information
Unternehmen/Arbeitsplatz
Bucharest Romania
Beruf
Professor
Webseite
alin.stefanescu.eu
Info
Doing research in formal methods for software engineering
Tags
search-based testing
test generation
deploy
model-based testing
event-b
formal methods
alin stefanescu
uml
slides
phd slides
Mehr anzeigen